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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Oar
Oar(oar)
boat_paddle, paddle, scull, sweep, sweep_oar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15462-15463
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1201-1201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15461-15461 Oar is a subclass of transportation device

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41500-41500
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41499-41499
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41498-41498

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


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

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


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


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