|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10506-10506 | 不相交的 自然過程 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3388-3388 | 不相交的 天然衛星 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14431-14431 | 不相交的 NonFloweringPlant and FloweringPlant |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4096-4096 | 不相交的 NonInvasiveVentilator and InvasiveVentilator |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7607-7607 | 不相交的 非盈利機構 and 商業代理人 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15350-15350 | 不相交的 NounPhrase and VerbPhrase |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 325-325 | 不相交的 NumberedFunctionKey and ArrowKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 324-324 | 不相交的 NumberedFunctionKey and EnterKey |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1607-1607 | 不相交的 OPLAN and 破產 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2710-2710 | 不相交的 ObjectAttitude and PropositionalAttitude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3216-3216 | 不相交的 油漆 and 水彩顏料 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3227-3227 | 不相交的 油畫 and 水彩圖片 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19954-19954 | 不相交的 睜開眼睛 and 閉上眼睛 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2008-2008 | 不相交的 優化 and 滿足要求 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10192-10192 | 不相交的 OrganOrTissueProcess and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14378-14378 | 不相交的 Organism and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 35-35 | 不相交的 Organization and Human |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 157-157 | 不相交的 OutdoorDiningArea and 飯廳 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16695-16695 | 不相交的 輔助的軍事組織 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10407-10407 | 不相交的 PathologicProcess and PhysiologicProcess |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1500-1500 | 不相交的 鋪好的跑道 and 未鋪砌的跑道 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5819-5819 | 不相交的 PhysicalDisease and PsychologicalDysfunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4596-4596 | 不相交的 PlantWicker and SyntheticWicker |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1797-1797 | 不相交的 動力車輛 and 無動力車輛 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3890-3890 | 不相交的 PreviousVersion and 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