No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 260-260
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 79-79
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 38-38
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 127-127
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 41-41
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 168-168
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 128-128
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 42-42
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 43-43
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 328-328
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 437-437
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 323-323
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 44-44
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 45-45
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 403-403
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 46-46
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 47-47
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 48-48
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 163-163
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 204-204
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 49-49
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 330-330
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 262-262
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