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 17455-17456
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 17454-17454	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 53520-53520
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53519-53519
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53518-53518

antecedent

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

Mid-level-ontology.kif 17458-17469

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 burning 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 2604-2613	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 2621-2630	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 2500-2516	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 2475-2481	If a physical is an instance of smoking device, then the physical has the 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: