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

Formal Language: 



KB Term:  Term intersection
English Word: 

  plantInArea

 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 plantInArea の数値 2 引数は CultivatedLandArea の instance では %n
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 8166-8166 plantInArea の数値 1 引数は 植物 のsubclass では %n
(instance plantInArea BinaryPredicate) Mid-level-ontology.kif 8165-8165 plantInArea は 2進述語 の instance では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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