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 8164-8164
(domain plantInArea 2 CultivatedLandArea) Mid-level-ontology.kif 8167-8167 栽种于 的 2 数量 是 耕地面积instance
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 8166-8166 栽种于 的 1 数量 是 植物subclass
(instance plantInArea BinaryPredicate) Mid-level-ontology.kif 8165-8165 栽种于二元谓语instance

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

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


(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))
Mid-level-ontology.kif 8154-8162
(=>
    (plantInArea ?PC ?AREA)
    (exists (?P)
        (and
            (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