No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1109-1109
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1043-1043
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1054-1054
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 999-999
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1009-1009
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1020-1020
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1031-1031
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1076-1076
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1065-1065
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1413-1414
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1641-1644
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1552-1552
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1696-1696
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1685-1685
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64630-64630
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9361-9361
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9369-9369

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