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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Opening

Sigma KEE - Opening
Opening(opening)
more pictures...
open, open_up, unlock, ventilate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21521-21524
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11553-11553
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11557-11557
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11555-11555
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11554-11554
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10168-10168
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11556-11556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21520-21520 Opening is internally related to closing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21519-21519 Opening is a subclass of motion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19954-19954 Opening eyes is a subclass of opening
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42198-42198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42197-42197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42196-42196

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29402-29408
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2428-2438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4019-4027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25787-25798
No TPTP formula. May not be expressible in strict first order. Cars.kif 3262-3277
No TPTP formula. May not be expressible in strict first order. Cars.kif 3844-3864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29386-29392


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