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 4055-4056
(domain groundSurfaceType 1 LandArea) Geography.kif 4057-4057 The number 1 argument of ground surface type is an instance of land area
(domainSubclass groundSurfaceType 2 Substance) Geography.kif 4058-4058 The number 2 argument of ground surface type is a subclass of substance
(instance groundSurfaceType BinaryPredicate) Geography.kif 4054-4054 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 26641-26641
(termFormat ChineseTraditionalLanguage groundSurfaceType "地面類型") domainEnglishFormat.kif 26640-26640
(termFormat EnglishLanguage groundSurfaceType "ground surface type") domainEnglishFormat.kif 26639-26639

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


(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Loam))
    (attribute ?area FertileTerrain))
Geography.kif 4134-4138
(=>
    (and
        (instance ?area GeographicArea)
        (groundSurfaceType ?area Rock))
    (not
        (attribute ?area FertileTerrain)))
Geography.kif 1777-1781
(=>
    (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 4067-4076

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


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