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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - plantInArea
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 8191-8191
(domain plantInArea 2 CultivatedLandArea) Mid-level-ontology.kif 8194-8194
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 8193-8193
(instance plantInArea BinaryPredicate) Mid-level-ontology.kif 8192-8192

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


(format EnglishLanguage plantInArea "%1 Located in %2.") Mid-level-ontology.kif 8195-8195
(termFormat ChineseLanguage plantInArea "栽种于") domainEnglishFormat.kif 64342-64342
(termFormat ChineseTraditionalLanguage plantInArea "栽種於") domainEnglishFormat.kif 64343-64343
(termFormat EnglishLanguage plantInArea "garden") domainEnglishFormat.kif 64341-64341
(termFormat EnglishLanguage plantInArea "plant in area") domainEnglishFormat.kif 65325-65325

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


(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))
Mid-level-ontology.kif 8181-8189
(=>
    (plantInArea ?PC ?AREA)
    (exists (?P)
        (and
            (instance ?P ?PC)
            (located ?P ?AREA))))
Mid-level-ontology.kif 8197-8202


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