| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1929-1931 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2726-2730 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 556-559 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2723-2723 | 感兴趣 的 1 数量 是 有认知的主事 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2724-2724 | 感兴趣 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2721-2721 | 感兴趣 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2722-2722 | 感兴趣 是 有意图的关系 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 133-133 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 134-134 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 88-88 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 148-148 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1915-1915 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 40-40 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 94-94 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 160-160 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 187-187 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 107-107 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 87-87 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 300-300 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26943-26943 | approves 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | 相信 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2799-2799 | 考虑 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2786-2786 | 渴望 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7438-7438 | 不赞成 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7422-7422 | 不喜欢 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2451-2451 | enemy 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7367-7367 | 享受 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2824-2824 | 知道 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2750-2750 | 需要 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2844-2844 | says 是 感兴趣 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2763-2763 | 想要 是 感兴趣 的 subrelation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18343-18358 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2740-2746 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2659-2663 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2371-2377 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1270-1278 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2732-2738 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2677-2682 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1596-1603 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26182-26189 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2572-2577 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18334-18341 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2618-2628 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2630-2643 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2215-2224 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26495-26501 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27001-27007 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 810-817 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3537-3537 | 国际水文组织 对 世界海洋 感兴趣 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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