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

Formal Language: 



KB Term:  Term intersection
English Word: 

  groundSubsurfaceType

Sigma KEE - groundSubsurfaceType
groundSubsurfaceType

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


(documentation groundSubsurfaceType 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 4282-4284
(domain groundSubsurfaceType 1 LandArea) Geography.kif 4285-4285 地下表面类型 的 1 数量 是 土地面积instance
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4286-4286 地下表面类型 的 2 数量 是 物质subclass
(instance groundSubsurfaceType BinaryPredicate) Geography.kif 4281-4281 地下表面类型二元谓语instance

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


(format ChineseLanguage groundSubsurfaceType "%2 %n 是 %1 表面下的 ground ") domainEnglishFormat.kif 1129-1129
(format ChineseTraditionalLanguage groundSubsurfaceType "%2 %n 是 %1 表面下的 ground ") domainEnglishFormat.kif 1128-1128
(format EnglishLanguage groundSubsurfaceType "%2 is %n a ground subsurface type of %1") domainEnglishFormat.kif 1127-1127
(termFormat ChineseLanguage groundSubsurfaceType "地下表面类型") domainEnglishFormat.kif 26712-26712
(termFormat ChineseTraditionalLanguage groundSubsurfaceType "地下表面類型") domainEnglishFormat.kif 26711-26711
(termFormat EnglishLanguage groundSubsurfaceType "ground subsurface type") domainEnglishFormat.kif 26710-26710

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


(=>
    (and
        (instance ?area LandArea)
        (groundSurfaceType ?area ?type1)
        (groundSubsurfaceType ?area ?type2))
    (exists (?above ?below)
        (and
            (instance ?above ?type1)
            (instance ?below ?type2)
            (orientation ?above ?below Above))))
Geography.kif 4288-4297

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners