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
-------------------------


(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 4522-4524
(domain groundSubsurfaceType 1 LandArea) Geography.kif 4525-4525 The number 1 argument of ground subsurface type is an instance of land area
(domainSubclass groundSubsurfaceType 2 Substance) Geography.kif 4526-4526 The number 2 argument of ground subsurface type is a subclass of substance
(instance groundSubsurfaceType BinaryPredicate) Geography.kif 4521-4521 ground subsurface type is an instance of binary predicate

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 26723-26723
(termFormat ChineseTraditionalLanguage groundSubsurfaceType "地下表面類型") domainEnglishFormat.kif 26722-26722
(termFormat EnglishLanguage groundSubsurfaceType "ground subsurface type") domainEnglishFormat.kif 26721-26721

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 4528-4537

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


(groundSubsurfaceType Mountain Rock) Geography.kif 4281-4281 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 3.0 is open source software produced by Articulate Software and its partners