No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 415-415
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 373-373
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 99-99
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 100-100
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 247-247
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 246-246
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 338-338
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 419-419
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 375-375
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 224-224
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 376-376
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 220-220
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 218-218
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 412-412
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 377-377
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 243-243
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 344-344
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 249-249
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 336-336
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 378-378
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