|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16264-16264 | 域 被告, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2788-2788 | 域 慾望, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7440-7440 | 域 不贊成, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 240-240 | 域 discography, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7425-7425 | 域 不喜歡, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7410-7410 | 域 疑惑, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16639-16639 | 域 採用, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7368-7368 | 域 享受, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10589-10589 | 域 預計, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3944-3944 | 域 experimenter, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 910-910 | 域 適合兵役, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 66-66 | 域 guest, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17447-17447 | 域 持有義務, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17427-17427 | 域 堅持正確, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2723-2723 | 域 在感興趣的範圍內, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16498-16498 | 域 發行由, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2825-2825 | 域 知道, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1287-1287 | 域 貸款人, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 163-163 | 域 lyricist, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1163-1163 | 域 musicChartBy, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2751-2751 | 域 需求, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 866-866 | 域 淨值, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 238-238 | 域 observesHoliday, 1 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2587-2587 | 域 期權持有人, 2 and CognitiveAgent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2600-2600 | 域 期權賣方, 2 and CognitiveAgent |
| 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