inScopeOfInterest |
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 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2724-2724 | 域 在感興趣的範圍內, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2721-2721 | 例 在感興趣的範圍內 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2722-2722 | 例 在感興趣的範圍內 and 有意圖的關係 |
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 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | 子關係 相信 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2799-2799 | 子關係 考慮 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2786-2786 | 子關係 慾望 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7438-7438 | 子關係 不贊成 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7422-7422 | 子關係 不喜歡 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2451-2451 | 子關係 enemy and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7367-7367 | 子關係 享受 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2824-2824 | 子關係 知道 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2750-2750 | 子關係 需求 and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2844-2844 | 子關係 says and 在感興趣的範圍內 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2763-2763 | 子關係 想要 and 在感興趣的範圍內 |
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 | 在感興趣的範圍內 國際水文組織 and 世界海洋 |