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 | Le nombre 1 argument de inScopeOfInterest est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2724-2724 | Le nombre 2 argument de inScopeOfInterest est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2721-2721 | inScopeOfInterest est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2722-2722 | inScopeOfInterest est une instance de IntentionalRelation |
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 26931-26931 | approves est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | believes est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2799-2799 | considers est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2786-2786 | desires est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7437-7437 | disapproves est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7421-7421 | dislikes est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2451-2451 | enemy est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7366-7366 | enjoys est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2824-2824 | knows est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2750-2750 | needs est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2844-2844 | says est une sous-relation de inScopeOfInterest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2763-2763 | wants est une sous-relation de inScopeOfInterest |
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 18342-18357 |
|
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 26170-26177 |
|
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 18333-18340 |
|
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 26483-26489 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26989-26995 | |
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 | InternationalHydrographicOrganization est interess� par WorldOcean |