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 | The number 1 argument of in scope of interest is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2724-2724 | The number 2 argument of in scope of interest is an instance of entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2721-2721 | in scope of interest is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2722-2722 | in scope of interest is an instance of intentional relation |
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 is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | believes is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2799-2799 | considers is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2786-2786 | desires is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7438-7438 | disapproves is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7422-7422 | dislikes is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2451-2451 | enemy is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7367-7367 | enjoys is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2824-2824 | knows is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2750-2750 | needs is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2844-2844 | says is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2763-2763 | wants is a subrelation of in scope of interest |
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 | International hydrographic organization is interested in world ocean |