resource |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | resource et instrument sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2513-2513 | resource et result sont disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1887-1891 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2517-2523 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 512-516 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2511-2511 | Le nombre 1 argument de resource est une instance de processus |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2512-2512 | Le nombre 2 argument de resource est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2509-2509 | resource est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2510-2510 | resource est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2508-2508 | resource est une sous-relation de patient |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 181-181 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 182-182 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 110-110 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 256-256 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1939-1939 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 62-62 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 86-86 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 229-229 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 293-293 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 129-129 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 115-115 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 448-448 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8798-8798 | reactant est une sous-relation de resource |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 182-182 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49723-49723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49722-49722 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 72-72 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12466-12473 | Processus est une instance de combiner objet est une resource pour processus entit� est le resultat de processus objet est une partie de entit� pendant le d�but de temps d'existence de processus objet est une partie de entit� pendant la fin de temps d'existence de processus |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30662-30683 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10276-10280 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10265-10269 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10252-10258 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 617-627 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 639-649 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11554-11558 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20415-20420 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 690-700 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12547-12556 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3155-3165 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3188-3196 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12514-12520 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5629-5635 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11810-11814 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3617-3632 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8025-8030 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12563-12569 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12527-12533 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6478-6488 | Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3954-3964 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19379-19392 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2546-2554 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2548-2562 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7242-7257 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 5126-5150 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 5421-5443 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15152-15164 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5772-5778 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3936-3941 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1033-1039 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1026-1031 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1886-1894 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 607-615 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 629-637 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3638-3645 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1566-1573 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4757-4763 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4746-4748 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3030-3036 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19648-19655 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |