|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1352-1352 | President e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1498-1498 | PresidentOfTheUnitedStates e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1353-1353 | PrimeMinister e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4476-4476 | Pulmonologist e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1406-1406 | QueenRegnant e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3282-3282 | RadioOperator e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 454-454 | SecretaryOfDefense e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 338-338 | ServiceChief e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2255-2255 | Spokesperson e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 334-334 | SubunifiedCommander e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2209-2209 | SupremeCourtJudge e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1357-1357 | ViceChairman e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1354-1354 | VicePresident e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1762-1762 | O contra-dominio de MemberFn e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1784-1784 | O contra-dominio de MemberRoleFn e' uma instancia de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18787-18787 | CollegeStudentPosition e' uma sub-classe de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4394-4394 | ForeignServicePosition e' uma sub-classe de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8273-8273 | ManualLabor e' uma sub-classe de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18961-18961 | ModellingPosition e' uma sub-classe de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20876-20876 | ReligiousPosition e' uma sub-classe de Posicao |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1240-1240 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1701-1701 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 918-918 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 452-452 | |
| 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