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 2703-2707 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2700-2700 | 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 2701-2701 | 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 2698-2698 | in scope of interest is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2699-2699 | 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 26837-26837 | approves is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2786-2786 | believes is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2776-2776 | considers is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2763-2763 | desires is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7398-7398 | disapproves is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7382-7382 | 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 7327-7327 | enjoys is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2801-2801 | knows is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2727-2727 | needs is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2821-2821 | says is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2740-2740 | wants is a subrelation of in scope of interest |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30199-30199 | |
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 30198-30198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30197-30197 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2865-2869 |
|
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 2709-2715 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2654-2659 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 629-645 |
|
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 26091-26098 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2778-2783 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18147-18153 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2824-2834 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2836-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 26404-26410 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26917-26923 |
|
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 |
![]() |
![]() |