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

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 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