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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - groundSurfaceType
groundSurfaceType

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


(documentation groundSurfaceType EnglishLanguage "(%&groundSurfaceType ?area ?substance) means that the predominant Substance at the ground surface of the LandArea ?area is ?substance.") Geography.kif 4198-4199
(domain groundSurfaceType 1 LandArea) Geography.kif 4200-4200 The number 1 argument of ground surface type is an instance of land area
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4201-4201 The number 2 argument of ground surface type is a subclass of substance
(instance groundSurfaceType BinaryPredicate) Geography.kif 4197-4197 ground surface type is an instance of binary predicate

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


(format ChineseLanguage groundSurfaceType "%2 %n 是 %1 的 ground 表面类别") domainEnglishFormat.kif 1133-1133
(format ChineseTraditionalLanguage groundSurfaceType "%2 %n 是 %1 的 ground 表面類別") domainEnglishFormat.kif 1132-1132
(format EnglishLanguage groundSurfaceType "%2 is %n a ground surface type of %1") domainEnglishFormat.kif 1131-1131
(termFormat ChineseLanguage groundSurfaceType "地面类型") domainEnglishFormat.kif 26709-26709
(termFormat ChineseTraditionalLanguage groundSurfaceType "地面類型") domainEnglishFormat.kif 26708-26708
(termFormat EnglishLanguage groundSurfaceType "ground surface type") domainEnglishFormat.kif 26707-26707

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


(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Loam))
    (attribute ?area FertileTerrain))
Geography.kif 4277-4281
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1827-1831
(=>
    (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 4210-4219

consequent
-------------------------


(=>
    (instance ?DESERT Desert)
    (or
        (groundSurfaceType ?DESERT Rock)
        (groundSurfaceType ?DESERT Sand)))
Geography.kif 6315-6319