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


KB Term:  Term intersection
English Word: 

  EmoMusic

 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 9485-9485
(instance plantInArea BinaryPredicate) Mid-level-ontology.kif 9486-9486 plant in area is an instance of binary predicate
(domainSubclass plantInArea 1 Plant) Mid-level-ontology.kif 9487-9487 The number 1 argument of plant in area is a subclass of plant
(domain plantInArea 2 CultivatedLandArea) Mid-level-ontology.kif 9488-9488 The number 2 argument of plant in area is an instance of cultivated land area

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


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

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


(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))		 Mid-level-ontology.kif 9475-9483 If X is an instance of garden and plant Located in X., then X has the purpose there exists Y such that Y is an instance of recreation or exercise and Y is located at X
(=>
    (plantInArea ?PC ?AREA)
    (exists (?P)
        (and
            (instance ?P ?PC)
            (located ?P ?AREA))))		 Mid-level-ontology.kif 9491-9496 If X Located in Y., then there exists Z such that Z is an instance of X and Z is located at Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners