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 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2472-2472 | 工具 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2469-2469 | 工具 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2470-2470 | 工具 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2468-2468 | 工具 是 受事 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | 资源 和 工具 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | 结果 和 工具 是 disjoint 关系 |
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 | 电脑运行 是 工具 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23532-23532 | 运输工具 是 工具 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1709-1709 | eCommerceSite 是 工具 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8805-8805 | 试剂 是 工具 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 531-531 | 标准错误设备 是 工具 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 500-500 | 标准输入设备 是 工具 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 514-514 | 标准输出设备 是 工具 的 subrelation |
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 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3309-3315 | IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載 的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是 文本 的 instance 和 objectTransferred ?D and ?T |