instrument |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1875-1878 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2474-2478 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 499-502 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2471-2471 | 域 儀器, 1 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2472-2472 | 域 儀器, 2 and Object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2469-2469 | 例 儀器 and CaseRole |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2470-2470 | 例 儀器 and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2468-2468 | 子關係 儀器 and 患者 |
appearance as argument number 2 |
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 2515-2515 | 不相交的關係 結果 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 135-135 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 136-136 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 89-89 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 150-150 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1916-1916 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 41-41 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 83-83 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 163-163 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 189-189 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 108-108 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 88-88 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 304-304 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 199-199 | 子關係 電腦運行 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23532-23532 | 子關係 輸送 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1709-1709 | 子關係 eCommerceSite and 儀器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8805-8805 | 子關係 試劑 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 531-531 | 子關係 標準錯誤設備 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 500-500 | 子關係 標準輸入設備 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 514-514 | 子關係 標準輸出設備 and 儀器 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30259-30259 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 136-136 | |
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 10685-10696 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 | |
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 4242-4248 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2763-2777 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11108-11118 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11141-11151 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 57-62 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3516-3523 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22018-22025 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29758-29765 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11560-11564 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1422-1432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3498-3506 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3543-3554 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2766-2773 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 180-185 | |
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. | MilitaryDevices.kif 1379-1389 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1235-1247 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17051-17063 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4287-4299 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4301-4314 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12537-12547 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26159-26171 | |
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. | Communications.kif 202-214 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1347-1358 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
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. | MilitaryDevices.kif 1619-1630 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1632-1644 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4411-4425 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2200-2216 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1129-1142 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1239-1247 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3416-3426 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6515-6523 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4391-4399 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2766-2773 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 420-431 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 601-609 | |
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. | Anatomy.kif 1636-1643 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18202-18219 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3309-3315 | 有目的 iBookstore and ?D 例 ?D and 下載 儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?T |