Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass BodySegment BodyPart) Mid-level-ontology.kif 10572-10572 子類 BodySegment and BodyPart
(subclass Forearm BodySegment) Mid-level-ontology.kif 10829-10829 子類 Forearm and BodySegment
(subclass UpperArm BodySegment) Mid-level-ontology.kif 10834-10834 子類 UpperArm and BodySegment
(subclass UpperLeg BodySegment) Mid-level-ontology.kif 10839-10839 子類 UpperLeg and BodySegment
(subclass LowerLeg BodySegment) Mid-level-ontology.kif 10844-10844 子類 LowerLeg and BodySegment
(subclass Hand BodySegment) Mid-level-ontology.kif 12470-12470 子類 and BodySegment
(subclass Foot BodySegment) Mid-level-ontology.kif 12698-12698 子類 and BodySegment


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