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 2632-2636 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2629-2629 | 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 2630-2630 | 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 2627-2627 | in scope of interest is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2628-2628 | 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. | Mid-level-ontology.kif 25161-25161 | approves is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2715-2715 | believes is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2705-2705 | considers is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2692-2692 | desires is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7123-7123 | disapproves is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7107-7107 | dislikes is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2431-2431 | enemy is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7013-7013 | enjoys is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2730-2730 | knows is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | needs is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2669-2669 | wants is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30145-30145 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 134-134 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30144-30144 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30143-30143 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16070-16084 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2646-2652 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2866-2870 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2312-2318 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1221-1229 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2638-2644 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2583-2588 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 627-643 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1802-1809 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24214-24221 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2779-2784 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16062-16068 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2825-2835 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2837-2849 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2421-2430 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24645-24651 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25241-25247 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 763-770 |
|
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3468-3468 | International hydrographic organization is interested in world ocean |
![]() |
![]() |