TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 920-921
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 919-919	Needle is a subclass of medical device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6045-6045	Decompression needle is a subclass of needle
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 922-922

antecedent

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

Medicine.kif 924-938

If a physical is an instance of needle,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of animal and the other entity is an instance of TherapeuticProcss and fluid is an attribute of the third entity and the entity is a patient of the other entity and the physical is an instrument for the other entity and the fourth entity is an instance of removing or the fourth entity is an instance of inserting and the fourth entity is a subprocess of the other entity and the object transferred in the fourth entity is the third entity

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	If a transfer is an instance of needle decompression and an object is a patient of the transfer, then there exist another transfer, another object,, , the other transferN,, , a fourth object,, , a fifth object and a sixth object such that the other transfer is an instance of inserting and the other transfer is a subprocess of the transfer and the object transferred in the other transfer is a seventh object and the other transfer originates at the other object and the other transfer ends up at the other transferN and the seventh object is an instance of needle and fluid is an attribute of the sixth object and the object transferred in the transfer is the sixth object and the sixth object ends up at the other object and the fourth object is an instance of lung and the fifth object is an instance of chest and the fourth object is a part of the object and the fifth object is a part of the object and the transfer originates at the other transferN and the transfer ends up at the other object and the other transferN is between the fourth object and the fifth object and the other object is outside to the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6361-6368	If an object is an instance of adrenaline autoinjector, then there exist another object and a third object such that the other object is an instance of needle and the other object is a part of the object and the third object is an instance of epinephrine and the third object is a part of the object

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

KB Term:			Term intersection

English Word: