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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - plantInArea

appearance as argument number 1

(documentation plantInArea EnglishLanguage "plantInArea is a BinaryRelation which associates the class of Plant to the area in which they grow.") Mid-level-ontology.kif 8164-8164
(domain plantInArea 2 CultivatedLandArea) Mid-level-ontology.kif 8167-8167
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 8166-8166
(instance plantInArea BinaryPredicate) Mid-level-ontology.kif 8165-8165

appearance as argument number 2

(format EnglishLanguage plantInArea "%1 Located in %2.") Mid-level-ontology.kif 8168-8168
(termFormat ChineseLanguage plantInArea "栽种于") domainEnglishFormat.kif 64340-64340
(termFormat ChineseTraditionalLanguage plantInArea "栽種於") domainEnglishFormat.kif 64341-64341
(termFormat EnglishLanguage plantInArea "garden") domainEnglishFormat.kif 64339-64339
(termFormat EnglishLanguage plantInArea "plant in area") domainEnglishFormat.kif 65323-65323


        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))
Mid-level-ontology.kif 8154-8162
    (plantInArea ?PC ?AREA)
    (exists (?P)
            (instance ?P ?PC)
            (located ?P ?AREA))))
Mid-level-ontology.kif 8170-8175

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