Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyJoint
BodyJoint(身体关节)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11703-11704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11702-11702 身体关节 是 身体连接处 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12723-12723 踝 是 身体关节 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12734-12734 手肘 是 身体关节 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12801-12801 髋关节 是 身体关节 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12768-12768 膝盖 是 身体关节 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12791-12791 指关节 是 身体关节 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12745-12745 腕 是 身体关节 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11477-11477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11476-11476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11475-11475

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11706-11714

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2218-2218 Arthritis 是 PainFn 身体关节 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2011-2011 JointPain 是 PainFn 身体关节 的 subclass


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 is open source software produced by Articulate Software and its partners