No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 283-283
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 343-343
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 150-150
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 393-393
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 425-425
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 106-106
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 105-105
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 383-383
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 384-384
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 385-385
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 345-345
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 244-244
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 310-310
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 386-386
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 387-387
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 282-282
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 388-388
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 389-389
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 348-348
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 390-390
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 367-367
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 392-392
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 391-391
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 212-212
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