No TPTP formula. May not be expressible in strict first order.	Merge.kif 11571-11571	子類 易位 and Motion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3004-3004	子類 旅 and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 485-485	子類 TwoStrokeCompression and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 457-457	子類 TwoStrokeIntake and Motion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 502-502	子類 TwoStrokeTransfer and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11219-11219	子類 天氣過程 and Motion
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1113-1113
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1443-1443
No TPTP formula. May not be expressible in strict first order.	french_format.kif 791-791
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 323-323
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 326-326
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2475-2475
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 743-743
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 362-362
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 812-812
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 327-327

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