|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16662-16662 | PrivateSchool est disjoint de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8288-8288 | Profession est disjoint de OccupationalTrade |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 391-391 | ProkaryoticCell est disjoint de EukaryoticCell |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17635-17635 | Pulling est disjoint de Pushing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12642-12642 | QueenInsect est disjoint de WorkerInsect |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 596-596 | RadiatingInfrared est disjoint de lumi�re irradiante |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 597-597 | RadiatingInfrared est disjoint de RadioEmission |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 603-603 | RadiatingUltraviolet est disjoint de lumi�re irradiante |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 604-604 | RadiatingUltraviolet est disjoint de RadiatingXRay |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 620-620 | RadiatingVisibleLight est disjoint de RadiatingUltraviolet |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 594-594 | RadioModem est disjoint de CableModem |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 118-118 | RadioactiveWeapon est disjoint de BiochemicalWeapon |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2075-2075 | Railcar est disjoint de PoweredVehicle |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 686-686 | RemovableDisk est disjoint de InternalHardDisk |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2386-2386 | ReopeningGraphicalWindow est disjoint de OpeningNewGraphicalWindow |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8178-8178 | ResidentialGarden est disjoint de PublicGarden |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7765-7765 | RetailStore est disjoint de WholesaleStore |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 202-202 | RightCIButton est disjoint de LeftCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 218-218 | RightCIButton est disjoint de MiddleCIButton |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2096-2096 | RoadVehicle est disjoint de RollingStock |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15778-15778 | Pi�ce est disjoint de immeuble |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14156-14156 | Plan d'eau sal� est disjoint de plan d'eau non sal� |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 952-952 | ScrollBar est disjoint de GUIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 988-988 | ScrollBarArrowButton est disjoint de ComputerMenu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 987-987 | ScrollBarArrowButton est disjoint de ScrollBarBar |
| 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