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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tripod

Sigma KEE - Tripod
Tripod(tripod)camera_tripod, tripod

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26704-26705
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26703-26703 Tripod is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26734-26734 Easel is a subclass of tripod
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26706-26706

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26708-26717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26719-26732


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