|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16662-16662 | 不相交的 私立學校 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8288-8288 | 不相交的 職業 and 職業貿易 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 391-391 | 不相交的 原核細胞 and 真核細胞 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17635-17635 | 不相交的 拉 and Pushing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12642-12642 | 不相交的 女王崑蟲 and 工人昆蟲 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 596-596 | 不相交的 輻射紅外線 and RadiatingLight |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 597-597 | 不相交的 輻射紅外線 and 無線電發射 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 603-603 | 不相交的 輻射紫外線 and RadiatingLight |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 604-604 | 不相交的 輻射紫外線 and X射線輻射 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 620-620 | 不相交的 輻射可見光 and 輻射紫外線 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 594-594 | 不相交的 RadioModem and CableModem |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 118-118 | 不相交的 放射性武器 and 生化武器 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2075-2075 | 不相交的 軌道車 and 動力車輛 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 686-686 | 不相交的 RemovableDisk and InternalHardDisk |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2386-2386 | 不相交的 ReopeningGraphicalWindow and OpeningNewGraphicalWindow |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8178-8178 | 不相交的 私人庭園 and 公共庭園 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7765-7765 | 不相交的 零售店 and 批發商店 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 202-202 | 不相交的 RightCIButton and LeftCIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 218-218 | 不相交的 RightCIButton and MiddleCIButton |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2096-2096 | 不相交的 公路車輛 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15778-15778 | 不相交的 Room and Building |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14156-14156 | 不相交的 SaltWaterArea and FreshWaterArea |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 952-952 | 不相交的 ScrollBar and GUIButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 988-988 | 不相交的 ScrollBarArrowButton and ComputerMenu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 987-987 | 不相交的 ScrollBarArrowButton and 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