|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 292-292 | 不相交的 Meat and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 219-219 | 不相交的 MiddleCIButton and LeftCIButton |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6150-6150 | 不相交的 雜項製造業 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6144-6144 | 不相交的 雜項製造業 and 計算機和電子產品製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6143-6143 | 不相交的 雜項製造業 and 電氣設備器具和元件製造 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6146-6146 | 不相交的 雜項製造業 and 金屬製品製造 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6141-6141 | 不相交的 雜項製造業 and 家具及相關產品製造 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6145-6145 | 不相交的 雜項製造業 and 機械製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6148-6148 | 不相交的 雜項製造業 and 非金屬礦產品製造 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6151-6151 | 不相交的 雜項製造業 and 石油和煤炭產品製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6149-6149 | 不相交的 雜項製造業 and 塑料和橡膠製品製造 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6147-6147 | 不相交的 雜項製造業 and 主要金屬製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6142-6142 | 不相交的 雜項製造業 and 運輸設備製造業 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4186-4186 | 不相交的 Misdiagnosis and 說謊 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6756-6756 | 不相交的 移動住宅 and 住宅 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8813-8813 | 不相交的 早上 and 下午 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8815-8815 | 不相交的 早上 and Evening |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11082-11082 | 不相交的 向上運動 and 向下運動 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1064-1064 | 不相交的 MouseCursor and GUIActiveArea |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1063-1063 | 不相交的 MouseCursor and TextCursor |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 335-335 | 不相交的 MultiKeypressKey and ArrowKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 334-334 | 不相交的 MultiKeypressKey and EnterKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 333-333 | 不相交的 MultiKeypressKey and NumberedFunctionKey |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3489-3489 | 不相交的 NSAID and 類固醇 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3519-3519 | 不相交的 Nation and Continent |
| 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