Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Cars.kif 91-91 Intermittent combustion engine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 96-96 Four stroke engine is a subclass of intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 240-240 Two stroke engine is a subclass of intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4540-4540 Two cylinder engine is a subclass of intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4548-4548 Four cylinder engine is a subclass of intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4556-4556 Six cylinder engine is a subclass of intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4564-4564 Eight cylinder engine is a subclass of intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4857-4857 Mini engine is a subclass of intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4969-4969 Chevrolet engine is a subclass of intermittent combustion engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 5164-5164 Cosworth engine is a subclass of intermittent combustion engine


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