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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Reel

Sigma KEE - Reel
Reel(reel)bobbin, reel, spool

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4269-4269
No TPTP formula. May not be expressible in strict first order. Cars.kif 4268-4268 Reel is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49094-49094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49093-49093
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49092-49092

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4287-4299
No TPTP formula. May not be expressible in strict first order. Cars.kif 4301-4314
No TPTP formula. May not be expressible in strict first order. Cars.kif 4271-4273
No TPTP formula. May not be expressible in strict first order. Cars.kif 4275-4285


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