TreeView Knowledge Base Browser - SalineLock

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SalineLock

SalineLock(saline lock)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1101-1103
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1100-1100	Saline lock is a subclass of medical device
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1099-1099	Saline lock is a subclass of valve

appearance as argument number 2

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

Medicine.kif 1104-1104

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1106-1111	If a self connected object is an instance of saline lock, then there exists an object such that the object is an instance of saline solution and the self connected object contains the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1113-1119	If a physical is an instance of saline lock, then the physical has the purpose there exists an entity such that the entity is an instance of IV Line and the physical is connected to the entity

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