No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 263-263
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 170-170
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 197-197
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 194-194
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 435-435
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 404-404
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 432-432
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 30-30
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 31-31
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 32-32
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 33-33
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 326-326
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 34-34
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 78-78
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 35-35
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 169-169
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 436-436
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 360-360
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 125-125
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 39-39
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 40-40
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 36-36
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 37-37
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