No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 119-119
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 327-327
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 22-22
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 23-23
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 120-120
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 121-121
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 193-193
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 205-205
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 266-266
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 237-237
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 269-269
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 122-122
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 123-123
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 24-24
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 75-75
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 76-76
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 25-25
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 124-124
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 27-27
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 77-77
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 28-28
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 272-272
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