TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3526-3527
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 22-22
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15224-15224
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 45-45
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 21-21	Every bone is initially part of a primate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15223-15223	Bone is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 18-18	Bone is a subclass of bone

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1221-1221	intialPart bone marrow and bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 685-685	Arm bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 18-18	Bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1026-1026	Coccyx is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1099-1099	Foot bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 52-52	Head bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11509-11509	Horn is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11520-11520	Ivory is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1032-1032	Leg bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1000-1000	Pelvis is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1283-1283	Phalanx is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11230-11230	Rib bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1017-1017	Sacrum is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 213-213	Shoulder girdle bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 246-246	Thorax bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 202-202	Throat bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11469-11469	Tooth is a subclass of bone
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1026-1026
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 19-19
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1264-1264
No TPTP formula. May not be expressible in strict first order.	french_format.kif 704-704
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 235-235
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 238-238
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2387-2387

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11681-11688	An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15225-15227	If a corpuscular object is an instance of bone, then the corpuscular object is made of bone tissue

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	If a process is an instance of amputation and an entity is a patient of the process and an object is an instance of limb, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the other object and the third object is an instance of bone and the other object is a part of the entity holds during immediately before the time of existence of the process and the other object is not a part of the entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6128-6137	If bone fracture is an attribute of an object holds during a time interval, then there exist a process and another object such that the process is an instance of separating and the other object is a patient of the process and the other object is an instance of bone and the other object is a part of the object and the time of existence of the process meets the time interval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6144-6154	If open fracture is an attribute of an object holds during a time position, then there exist another object and a third object such that the other object is an instance of skin and the other object is a part of the object and the third object is an instance of bone and the third object is a part of the object and the third object traverses the other object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11543-11548	If a process is an instance of ossification, then there exists an entity such that the entity is an instance of bone and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11482-11484	If a collection is an instance of skull, then bone is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9448-9454	If an object is an instance of tendon, then there exist another object and a third object such that the other object is an instance of muscle and the third object is an instance of bone and the object connects the other object and the third 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: