|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18238-18238 | 相關的內部概念 DeadOrMissingBodyPartFn and DeadFn |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8766-8766 | 相關的內部概念 Decade and DecadeDuration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10936-10936 | 相關的內部概念 Decreasing and Removing |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1647-1647 | 相關的內部概念 登革熱 and 登革熱出血熱 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7043-7043 | 相關的內部概念 Deposition and Sublimation |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 113-113 | 相關的內部概念 dhu al hijjah and Month |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 736-736 | 相關的內部概念 Disgust and Contempt |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1255-1255 | 相關的內部概念 DisgustedFacialExpression and Disgust |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1996-1996 | 相關的內部概念 DisgustedVoiceUtterance and Disgust |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29380-29380 | 相關的內部概念 門 and VehicleDoor |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 109-109 | 相關的內部概念 DryRoastAttribute and CoffeeGrindAttribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 108-108 | 相關的內部概念 DryRoastAttribute and CoffeeRoastAttribute |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1304-1304 | 相關的內部概念 EmotionalFacialExpression and EmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 413-413 | 相關的內部概念 EmotionalState and AppraisalAsUndesirableConsequences |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5955-5955 | 相關的內部概念 結束節點 and 終端節點 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1339-1339 | 相關的內部概念 FearfulFacialExpression and Fear |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1338-1338 | 相關的內部概念 FearfulFacialExpression and OpeningEyesWidely |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2061-2061 | 相關的內部概念 FearfulVoiceUtterance and Fear |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 206-206 | 相關的內部概念 FermentedAttribute and 生食 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5979-5979 | 相關的內部概念 肥料 and 氮 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5981-5981 | 相關的內部概念 肥料 and 磷酸 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5980-5980 | 相關的內部概念 肥料 and 鉀肥 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6583-6583 | 相關的內部概念 FirTree and FirWood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20036-20036 | 相關的內部概念 飼料 and DeadFn |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20037-20037 | 相關的內部概念 飼料 and FoodForFn |
| 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