TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	arteries.kif 329-329	connectedBodyPartTypes ophthalmic artery, anterior ciliary artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 247-247	connectedBodyPartTypes ophthalmic artery, anterior ethmoidal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 334-334	connectedBodyPartTypes ophthalmic artery, central retinal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 279-279	connectedBodyPartTypes ophthalmic artery, dorsal nasal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 188-188	connectedBodyPartTypes ophthalmic artery, lacrimal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 309-309	connectedBodyPartTypes ophthalmic artery, long posterior ciliary artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 231-231	connectedBodyPartTypes ophthalmic artery, posterior ethmoidal artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 324-324	connectedBodyPartTypes ophthalmic artery, short posterior ciliary artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 212-212	connectedBodyPartTypes ophthalmic artery, supraorbital artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 273-273	connectedBodyPartTypes ophthalmic artery, supratrochlear artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 176-176
No TPTP formula. May not be expressible in strict first order.	arteries.kif 174-174	Ophthalmic artery is a subclass of artery
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 68-68	suppliesBlood ophthalmic artery and corrugator supercilii muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 48-48	suppliesBlood ophthalmic artery and frontalis muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 115-115	suppliesBlood ophthalmic artery and inferior rectus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 133-133	suppliesBlood ophthalmic artery and lateral rectus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 83-83	suppliesBlood ophthalmic artery and levator palpebrae superioris muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 125-125	suppliesBlood ophthalmic artery and medial rectus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 58-58	suppliesBlood ophthalmic artery and orbicularis oculi muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 105-105	suppliesBlood ophthalmic artery and superior rectus muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 95-95	suppliesBlood ophthalmic artery and Muller's muscle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	arteries.kif 178-178	connectedBodyPartTypes internal carotid artery, ophthalmic artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 552-552	connectedBodyPartTypes middle meningeal artery, ophthalmic artery and human
No TPTP formula. May not be expressible in strict first order.	arteries.kif 175-175

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: