Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - groundSubsurfaceType
groundSubsurfaceType

appearance as argument number 1
-------------------------


s__documentation(s__groundSubsurfaceType__m,s__EnglishLanguage,'"(groundSubsurfaceType ?area ?subsoil) means that the predominant Substance in the subsoil or subsurface layer of the LandArea ?area is of type ?subsoil."')

Geography.kif 4061-4063
s__domain(s__groundSubsurfaceType__m,n__1,s__LandArea)

Geography.kif 4064-4064 The number 1 argument of ground subsurface type is an instance of land area
s__domainSubclass(s__groundSubsurfaceType__m,n__2,s__Substance)

Geography.kif 4065-4065 The number 2 argument of ground subsurface type is a subclass of substance
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__groundSubsurfaceType__m,s__BinaryPredicate)

Geography.kif 4060-4060 ground subsurface type is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__groundSubsurfaceType__m,'"%2 %n 是 %1 表面下的 ground "')

domainEnglishFormat.kif 1129-1129
s__format(s__ChineseTraditionalLanguage,s__groundSubsurfaceType__m,'"%2 %n 是 %1 表面下的 ground "')

domainEnglishFormat.kif 1128-1128
s__format(s__EnglishLanguage,s__groundSubsurfaceType__m,'"%2 is %n a ground subsurface type of %1"')

domainEnglishFormat.kif 1127-1127
s__termFormat(s__ChineseLanguage,s__groundSubsurfaceType__m,'"地下表面类型"')

domainEnglishFormat.kif 26635-26635
s__termFormat(s__ChineseTraditionalLanguage,s__groundSubsurfaceType__m,'"地下表面類型"')

domainEnglishFormat.kif 26634-26634
s__termFormat(s__EnglishLanguage,s__groundSubsurfaceType__m,'"ground subsurface type"')

domainEnglishFormat.kif 26633-26633

antecedent
-------------------------


( ! [V__type1,V__type2,V__area] :
   ((s__subclass(V__type1,s__Substance) &
       s__instance(V__type1,s__SetOrClass) &
       s__subclass(V__type2,s__Substance) &
       s__instance(V__type2,s__SetOrClass))
     =>
     (s__instance(V__area,s__LandArea) &
       s__groundSurfaceType(V__area,V__type1)
     &
     s__groundSubsurfaceType(V__area,V__type2))
=>
( ? [V__above, V__below] :
   ((s__instance(V__above,s__Object) &
       s__instance(V__below,s__Object) &
       (s__instance(V__above,V__type1)
       &
       s__instance(V__below,V__type2)
     &
     s__orientation(V__above,V__below,s__Above)))))
)
)

Geography.kif 4067-4076

appearance as argument number 0
-------------------------


s__groundSubsurfaceType(s__Mountain,s__Rock)

Geography.kif 3833-3833 Rock is a ground subsurface type of mountain


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners