|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18238-18238 | Dead or missing body part fn is internally related to Dead fn |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8766-8766 | Decade is internally related to decade duration |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10936-10936 | Decreasing is internally related to removing |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1647-1647 | Dengue fever is internally related to dengue hemorrhagic fever |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7043-7043 | Deposition is internally related to sublimation |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 113-113 | Dhu al hijjah is internally related to month |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 736-736 | Disgust is internally related to contempt |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1255-1255 | Disgusted facial expression is internally related to disgust |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1996-1996 | Disgusted voice utterance is internally related to disgust |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29380-29380 | Door is internally related to vehicle door |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 109-109 | Hulled is internally related to coffee grind attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 108-108 | Hulled is internally related to coffee roast attribute |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1304-1304 | Emotional facial expression is internally related to emotional state |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 413-413 | Emotional state is internally related to appraisal as undesirable consequences |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5955-5955 | End node is internally related to terminal node |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1339-1339 | Fearful facial expression is internally related to angst |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1338-1338 | Fearful facial expression is internally related to opening eyes widely |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2061-2061 | Fearful voice utterance is internally related to angst |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 206-206 | Fermented is internally related to raw food |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5979-5979 | Fertilizer is internally related to nitrogen |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5981-5981 | Fertilizer is internally related to phosphoric acid |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5980-5980 | Fertilizer is internally related to potash |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6583-6583 | Fir tree is internally related to fir wood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20036-20036 | Fodder is internally related to Dead fn |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20037-20037 | Fodder is internally related to food for fn |
| 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