|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16339-16339 | BecomingDrunk e' disjunto de SoberingUp |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16289-16289 | BeginningOperations e' disjunto de CeasingOperations |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 107-107 | BiochemicalWeapon e' disjunto de RadioactiveWeapon |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14562-14562 | Passaro e' disjunto de Mamifero |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1189-1189 | BluRayDisc e' disjunto de CompactDisc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1190-1190 | BluRayDisc e' disjunto de DVD |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1180-1180 | CDR e' disjunto de CDROM |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14612-14612 | Canino e' disjunto de Felino |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1084-1084 | Capstone e' disjunto de Keystone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17483-17483 | CentrifugalMotion e' disjunto de CentripetalMotion |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1026-1026 | ChairmanPublication e' disjunto de JointDoctrine |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1393-1393 | CharacterKeyPress e' disjunto de SpecialCharacterPress |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8722-8722 | ChemicalAcid e' disjunto de ChemicalBase |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 447-447 | ChemicalAgent e' disjunto de Objeto Organico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19561-19561 | ChemicalReduction e' disjunto de Oxidation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | Roupa e' disjunto de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | Colecao e' disjunto de Objeto auto-conectado |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3217-3217 | CommonCarrier e' disjunto de ContractCarrier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2009-2009 | Numero Complexo e' disjunto de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 146-146 | ComputerDisplay e' disjunto de Printer |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 243-243 | ComputerKeyboardKey e' disjunto de LeftCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 242-242 | ComputerKeyboardKey e' disjunto de MiddleCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 244-244 | ComputerKeyboardKey e' disjunto de MouseButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 241-241 | ComputerKeyboardKey e' disjunto de RightCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 367-367 | ComputerKeyboardKey e' disjunto de TouchpadKey |
| 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