Documentation

assumptions :: [ConceptInstance] Source #

assumpSSC :: ConceptInstance Source #

assumpFOSL :: ConceptInstance Source #

assumpSLH :: ConceptInstance Source #

assumpSP :: ConceptInstance Source #

assumpSLI :: ConceptInstance Source #

assumpINSFL :: ConceptInstance Source #

assumpPSC :: ConceptInstance Source #

assumpENSL :: ConceptInstance Source #

assumpSBSBISL :: ConceptInstance Source #

assumpES :: ConceptInstance Source #

assumpSF :: ConceptInstance Source #

assumpSL :: ConceptInstance Source #

assumpWIBE :: ConceptInstance Source #

assumpWISE :: ConceptInstance Source #

assumpNESSS :: ConceptInstance Source #

assumpHFSM :: ConceptInstance Source #

monotonicF :: Sentence Source #

slopeS :: Sentence Source #

homogeneousL :: Sentence Source #

isotropicP :: Sentence Source #

linearS :: Sentence Source #

planeS :: Sentence Source #

largeN :: Sentence Source #

straightS :: Sentence Source #

propertiesS :: Sentence Source #

edgeS :: Sentence Source #

seismicF :: Sentence Source #

surfaceL :: Sentence Source #

waterBIntersect :: Sentence Source #

waterSIntersect :: Sentence Source #

negligibleSlopeEffect :: Sentence Source #

hydrostaticFMidpoint :: Sentence Source #