No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2618-2618
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4013-4014
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3392-3393
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3495-3496
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1660-1661
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3474-3474
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3814-3816
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1841-1845
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3435-3435
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1951-1952
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1977-1977
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 931-933
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 947-948
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3064-3068
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 748-748
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 617-617
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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