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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DigitAppendage

Sigma KEE - DigitAppendage
DigitAppendage(digit appendage)
dactyl, digit, minimus

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12483-12484
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1091-1091
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12505-12505 Every digit appendage is initially part of a limb
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12481-12481 Digit appendage is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12482-12482 Digit appendage is a subclass of body part

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12507-12507 Finger is a subclass of digit appendage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12759-12759 Toe is a subclass of digit appendage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19530-19530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19529-19529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19528-19528

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


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

consequent
-------------------------


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


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