No TPTP formula. May not be expressible in strict first order.	Merge.kif 11549-11549	易位 是 运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3004-3004	旅 是 运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 485-485	TwoStrokeCompression 是 运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 457-457	TwoStrokeIntake 是 运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 502-502	TwoStrokeTransfer 是 运动 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11197-11197	天气过程 是 运动 的 subclass
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