Pajamas - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Pajamas

Pajamas(pajamas)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5321-5322
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5320-5320	Pajamas is a subclass of clothing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64324-64324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64325-64325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64323-64323

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5337-5344	If an object is an instance of pajamas, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object is an instance of shirt and the third object is an instance of trousers
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5324-5335	If a physical is an instance of pajamas, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the entity is an agent of the other entity and the entity wears the physical holds during the other entity and the other entity is an instance of sleeping or the other entity is an instance of staying still

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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