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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Crankshaft
Crankshaft(crankshaft)crankshaft

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 336-337
No TPTP formula. May not be expressible in strict first order. Cars.kif 335-335 Crankshaft is a subclass of shaft
No TPTP formula. May not be expressible in strict first order. Cars.kif 341-341 A crankshaft is typically a part of a crankcase
No TPTP formula. May not be expressible in strict first order. Cars.kif 338-338 A crankshaft is typically a part of a intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 342-342 A crankcase typically has a part crankshaft
No TPTP formula. May not be expressible in strict first order. Cars.kif 339-339 A intermittent combustion engine typically has a part crankshaft

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64714-64714

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2346-2380
No TPTP formula. May not be expressible in strict first order. Cars.kif 2215-2230
No TPTP formula. May not be expressible in strict first order. Cars.kif 1972-1980
No TPTP formula. May not be expressible in strict first order. Cars.kif 2711-2728
No TPTP formula. May not be expressible in strict first order. Cars.kif 4588-4604
No TPTP formula. May not be expressible in strict first order. Cars.kif 4611-4643


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