resource |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | 不相交的關係 資源 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2513-2513 | 不相交的關係 資源 and 結果 |
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 | 域 資源, 1 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2512-2512 | 域 資源, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2509-2509 | 例 資源 and CaseRole |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2510-2510 | 例 資源 and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2508-2508 | 子關係 資源 and 患者 |
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 | 子關係 反應 and 資源 |
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 | 例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間 開始 何時 Process and 部分 Object and Entity 持有期間 結束 何時 Process and 部分 Object and Entity |
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 | 例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity |
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 |