|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 951-951 | ComputerMenu est disjoint de ScrollBar |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 398-398 | ComputerMouse est disjoint de ComputerKeyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 435-435 | ComputerScreen est disjoint de ComputerTouchpad |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6951-6951 | CondominiumBuilding est disjoint de SingleFamilyResidence |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 354-354 | ControlKey est disjoint de FunctionKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 353-353 | ControlKey est disjoint de ShiftKey |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1014-1014 | CorporateAccount est disjoint de PersonalAccount |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1227-1227 | Objet corpusculaire est disjoint de substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5675-5675 | Creek est disjoint de River |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1082-1082 | Cursor est disjoint de InterfaceWindow |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12293-12293 | Endommager est disjoint de r�parer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8882-8882 | DayTime est disjoint de NightTime |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6389-6389 | DeciduousTree est disjoint de EvergreenTree |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12732-12732 | Decoder est disjoint de encoder |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 427-427 | Deposit est disjoint de Withdrawal |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2298-2298 | DisplacementHullWaterVehicle est disjoint de PlaningHullWaterVehicle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | DomesticAnimal est disjoint de humain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6979-6979 | Dormitory est disjoint de SingleFamilyResidence |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 316-316 | DownArrowKey est disjoint de LeftArrowKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 315-315 | DownArrowKey est disjoint de RightArrowKey |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18234-18234 | Dreaming est disjoint de processus intentionnel |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 508-508 | Earphone est disjoint de Loudspeaker |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3526-3526 | ExpiredCard est disjoint de ValidCard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 745-745 | ExternalDiskDrive est disjoint de InternalHardDisk |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1535-1535 | FHALoan est disjoint de ConventionalMortgage |
| 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