Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - bodyAngle
bodyAngle

appearance as argument number 1
-------------------------


(instance bodyAngle TernaryPredicate) Mid-level-ontology.kif 12155-12155 body angle is an instance of ternary predicate
(domain bodyAngle 1 BodyPart) Mid-level-ontology.kif 12156-12156 The number 1 argument of body angle is an instance of body part
(domain bodyAngle 2 BodyPart) Mid-level-ontology.kif 12157-12157 The number 2 argument of body angle is an instance of body part
(domain bodyAngle 3 AngleMeasure) Mid-level-ontology.kif 12158-12158 The number 3 argument of body angle is an instance of angle measure
(documentation bodyAngle EnglishLanguage "The relative AngleMeasure between parts of the body of an Animal.") Mid-level-ontology.kif 12162-12163 The number 3 argument of body angle is an instance of angle measure

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage bodyAngle "body angle") Mid-level-ontology.kif 12159-12159
(format EnglishLanguage bodyAngle "the angle between %1 and %2 is %3") Mid-level-ontology.kif 12160-12160
(relatedInternalConcept planeAngleMeasure bodyAngle) Mid-level-ontology.kif 28145-28145 plane angle measure is internally related to body angle


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners