No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 775-775
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 217-217
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 224-224
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 231-232
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 242-243
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 760-760
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2088-2088
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2108-2109
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1917-1919
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2186-2187
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2249-2250
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1498-1503
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1491-1496
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2266-2269
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3205-3206
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1139-1141
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2290-2290
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2310-2310
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2332-2332
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2411-2415
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3159-3160
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2709-2710
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2586-2587
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2558-2559
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1722-1723
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