|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16338-16338 | BecomingDrunk est disjoint de SoberingUp |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16288-16288 | BeginningOperations est disjoint de CeasingOperations |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 107-107 | BiochemicalWeapon est disjoint de RadioactiveWeapon |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14584-14584 | Oiseau est disjoint de mammif�re |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1189-1189 | BluRayDisc est disjoint de CompactDisc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1190-1190 | BluRayDisc est disjoint de DVD |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1180-1180 | CDR est disjoint de CDROM |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14634-14634 | Canin est disjoint de felin |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1084-1084 | Capstone est disjoint de Keystone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17482-17482 | CentrifugalMotion est disjoint de CentripetalMotion |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1026-1026 | ChairmanPublication est disjoint de JointDoctrine |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1393-1393 | CharacterKeyPress est disjoint de SpecialCharacterPress |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8721-8721 | ChemicalAcid est disjoint de ChemicalBase |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 447-447 | ChemicalAgent est disjoint de objet organique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19560-19560 | ChemicalReduction est disjoint de Oxidation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15923-15923 | V�tement est disjoint de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | Collection est disjoint de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3217-3217 | CommonCarrier est disjoint de ContractCarrier |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2009-2009 | Nombre complexe est disjoint de nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 146-146 | ComputerDisplay est disjoint de Printer |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 243-243 | ComputerKeyboardKey est disjoint de LeftCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 242-242 | ComputerKeyboardKey est disjoint de MiddleCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 244-244 | ComputerKeyboardKey est disjoint de MouseButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 241-241 | ComputerKeyboardKey est disjoint de RightCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 367-367 | ComputerKeyboardKey est disjoint 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