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

Formal Language: 



KB Term:  Term intersection
English Word: 

  releaseForConsumption

 Sigma KEE - releaseForConsumption
releaseForConsumption

appearance as argument number 1
-------------------------


(documentation releaseForConsumption EnglishLanguage "(releaseForConsumption ?OBJ ?AREA ?TIME) means that Object ?OBJ was release for some type of consumption - like watching, eating, listening, reading, etc - in GeographicArea ?AREA at TimePoint ?TIME") Music.kif 1471-1473
(domain releaseForConsumption 2 GeographicArea) Music.kif 1477-1477
(domain releaseForConsumption 3 TimePoint) Music.kif 1478-1478
(domainSubclass releaseForConsumption 1 Object) Music.kif 1476-1476
(instance releaseForConsumption TernaryPredicate) Music.kif 1470-1470

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


(format EnglishLanguage releaseForConsumption "%1 was released for consumption in %2 at %3") domainEnglishFormat.kif 1103-1103
(subrelation releaseForSale releaseForConsumption) Music.kif 1490-1490
(termFormat EnglishLanguage releaseForConsumption "release for consumption") Music.kif 1474-1474

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


(=>
    (releaseForConsumption ?OBJ ?AREA ?TIME)
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (exists (?P ?O)
            (and
                (instance ?O ?OBJ)
                (patient ?P ?O)
                (eventLocated ?P ?AREA)))))		 Music.kif 1480-1488


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners