|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | AbductorPollicisLongusMuscle e' uma sub-classe de Musculo |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | AbductorPollicisMuscle e' uma sub-classe de Musculo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14936-14936 | AbnormalAnatomicalStructure e' uma sub-classe de Estructura Anatomica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1882-1882 | Abort e' uma sub-classe de ComputerProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21491-21491 | Aborting e' uma sub-classe de Remover |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 955-955 | AboveTheLine e' uma sub-classe de JointPublication |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 438-438 | AbrinToxin e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | AbrinToxin e' uma sub-classe de Toxin |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1677-1677 | AbsenceSeizure e' uma sub-classe de Seizure |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2059-2059 | Absolut e' uma sub-classe de Vodka |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | AbsoluteAltimeter e' uma sub-classe de Altimeter |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1391-1391 | AbsoluteDud e' uma sub-classe de NuclearWeapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1363-1363 | AbsoluteFilter e' uma sub-classe de Filter |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | Abstrato e' uma sub-classe de Entidade |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1611-1611 | AbstractionLevelAttribute e' uma sub-classe de TimingRequirementAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16510-16510 | AcademicDegree e' uma sub-classe de Certificado |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17139-17139 | Accelerating e' uma sub-classe de Aumentar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17138-17138 | Accelerating e' uma sub-classe de Translocation |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | Accelerometer e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 627-627 | Accelerometer e' uma sub-classe de Sensor |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2663-2663 | AccessingWebPage e' uma sub-classe de NetworkCommunication |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 607-607 | AccessoryMeningealArtery e' uma sub-classe de ExternalCarotidTerminalFirstPortionArtery |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 589-589 | AccessoryNerve e' uma sub-classe de Nerve |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1654-1654 | AccompanyingArteryOfIschiadicNerve e' uma sub-classe de AnteriorIliacArteryDivision |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4539-4539 | Account e' uma sub-classe de Agreement |
| 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