|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10506-10506 | NaturalProcess est disjoint de processus intentionnel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3388-3388 | NaturalSatellite est disjoint de artefact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14431-14431 | Plante non florissante est disjoint de plant florissante |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4096-4096 | NonInvasiveVentilator est disjoint de InvasiveVentilator |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7607-7607 | NonprofitOrganization est disjoint de CommercialAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15350-15350 | Syntagme nominal est disjoint de syntagme verbal |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 325-325 | NumberedFunctionKey est disjoint de ArrowKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 324-324 | NumberedFunctionKey est disjoint de EnterKey |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1607-1607 | OPLAN est disjoint de CONPLAN |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2710-2710 | Attitude d'objet est disjoint de attitude propositionnelle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3216-3216 | OilPaint est disjoint de WatercolorPaint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3227-3227 | OilPicture est disjoint de WatercolorPicture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19954-19954 | OpeningEyes est disjoint de ClosingEyes |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2008-2008 | Optimization est disjoint de SatisfyingRequirements |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10192-10192 | Organ or tissueprocess est disjoint de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14378-14378 | Organisme est disjoint de artefact |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 35-35 | Organisation est disjoint de humain |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 157-157 | OutdoorDiningArea est disjoint de DiningRoom |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16695-16695 | ParamilitaryOrganization est disjoint de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10407-10407 | Processus pathologique est disjoint de processus physiologique |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1500-1500 | PavedRunway est disjoint de UnpavedRunway |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5819-5819 | PhysicalDisease est disjoint de dysfonctionement psychologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4596-4596 | PlantWicker est disjoint de SyntheticWicker |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1797-1797 | PoweredVehicle est disjoint de UnpoweredVehicle |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3890-3890 | PreviousVersion est disjoint de CurrentVersion |
| 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