Smoking - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13749-13750
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 738-738
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13748-13748	Smoking is a subclass of recreation or exercise

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53510-53510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53509-53509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53508-53508

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 13752-13763

If a process is an instance of smoking,
then there exist another process, an object,, , a third process and an entity such that the other process is a subprocess of the process and the other process is an instance of combustion and the object is a resource for the other process and the object is an instance of cigar or cigarette and the entity is a result of the other process and the entity is a patient of the third process and the third process is an instance of breathing and the third process is a subprocess of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2540-2549	If a policy is an instance of no smoking policy and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2557-2566	If a policy is an instance of smoking allowed policy and the policy covers an object and an organization enacts policy the policy, then the organization confers norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2436-2452	If a policy is an instance of smoking policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of smoking and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of smoking and the other entity is located at the object has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2473-2479	If a physical is an instance of smoking device, then the physical purpose there exists an entity such that the entity is an instance of smoking and the physical is an instrument for the entity

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

KB Term:			Term intersection

English Word: