|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 177-177 | Refugee e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 185-185 | StatelessPerson e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22595-22595 | Student e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2135-2135 | Terrorist e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22605-22605 | Tourist e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17272-17272 | Unemployed e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22198-22198 | Veteran e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22302-22302 | Widowed e' uma instancia de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22233-22233 | OccupationalRole e' uma sub-classe de Role Social |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17286-17286 | Posicao e' uma sub-classe de Role Social |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1239-1239 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1699-1699 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 917-917 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 450-450 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 453-453 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2601-2601 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 869-869 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 455-455 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 489-489 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 938-938 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 454-454 |
|
|
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