| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1682-1682 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1542-1543 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 274-274 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 323-324 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1540-1540 | 子類 Formula and Sentence |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16976-16976 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 847-847 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 896-896 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 523-523 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 54-54 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 57-57 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2208-2208 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 475-475 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 90-90 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 349-349 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 544-544 | 範圍 房地 and Formula |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 58-58 | 範圍 房地 and Formula |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5574-5574 | 域 卡帕, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2567-2567 | 域 可能性, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2125-2125 | 域 attitudeForFormula, 3 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2805-2805 | 域 相信, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3815-3815 | 域 引起提案, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3816-3816 | 域 引起提案, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2577-2577 | 域 條件概率, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2578-2578 | 域 條件概率, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3989-3989 | 域 賦予規範, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17550-17550 | 域 授予義務, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17529-17529 | 域 賦予權利, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2795-2795 | 域 考慮, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1361-1361 | 域 containsFormula, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2610-2610 | 域 降低可能性, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2611-2611 | 域 降低可能性, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4011-4011 | 域 剝奪了規範, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17075-17075 | 域 describes, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2783-2783 | 域 慾望, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8214-8214 | 域 不贊成, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8184-8184 | 域 疑惑, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 763-763 | 域 意味, 1 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 764-764 | 域 意味, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10653-10653 | 域 預計, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3943-3943 | 域 有目的, 2 and Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3959-3959 | 域 有代理人的目的, 2 and Formula |
| 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. | Government.kif 728-734 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 549-556 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 540-547 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 531-537 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13301-13306 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2641-2648 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13288-13294 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13275-13281 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13217-13223 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15474-15481 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 577-584 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 586-593 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 569-575 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3794-3798 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13003-13007 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1134-1138 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2696-2700 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15505-15514 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 617-625 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 627-635 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3800-3810 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4235-4249 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1140-1151 |
|
|
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