patient |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1882-1886 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2499-2506 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 507-511 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2495-2495 | 受事 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2496-2496 | 受事 的 2 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2493-2493 | 受事 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2494-2494 | 受事 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2497-2497 | 受事 是 参与活动 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 167-167 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 168-168 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 103-103 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 219-219 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1932-1932 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 55-55 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 85-85 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 206-206 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 257-257 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 122-122 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 104-104 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 411-411 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4163-4163 | accountUsed 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23427-23427 | 控制 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1874-1874 | 数据已处理 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16265-16265 | 被告 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Law.kif 281-281 | defenseLawyer 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6786-6786 | 被拘留者 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Law.kif 168-168 | evidence 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15724-15724 | 实验控制 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2468-2468 | 工具 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12377-12377 | objectAttached 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12425-12425 | objectDetached 是 受事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11331-11331 | objectTransferred 是 受事 的 subrelation |
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 26329-26340 | 过程 是 Photocopying 的 instance 和 内容承载物理 是 那个 过程 的 patient 和 那个 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 内容承载物理 contains 命题 的资料 若且唯若 有存在 另一个 内容承载物理 和 另一个 命题 这样 那个 另外 内容承载物理 是 那个 过程 的 result 和 那个 另外 内容承载物理 是 VisualContentBearingObject 的 instance 和 那个 另外 内容承载物理 contains 那个 另外 命题 的资料 和 那个 命题 equal 那个 另外 命题 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20760-20767 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 487-499 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5824-5834 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 549-556 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 540-547 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 531-537 | |
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. | Cars.kif 809-825 |
|
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. | Medicine.kif 3040-3054 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15515-15532 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 336-350 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 841-862 |
|
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. | Hotel.kif 364-378 |
|
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. | Law.kif 480-489 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21495-21506 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1010-1014 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6257-6275 |
|
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 966-975 | |
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. | Merge.kif 1601-1607 | LegalAgent 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 那个 实体 能够担当 主事 的角色做 法律诉讼 或 那个 实体 能够担当 受事 的角色做 法律诉讼 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20752-20758 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 193-199 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 706-713 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 757-776 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 408-419 | |
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. | Merge.kif 17332-17345 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 286-297 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2881-2897 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2854-2870 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1981-1990 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1466-1474 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25748-25761 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1935-1946 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29963-29972 | |
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. | WMD.kif 921-929 | ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率 |
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. | Medicine.kif 4559-4564 | 有存在 过程 和 实体 这样 那个 过程 是 传播 的 instance 和 Netflix 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 动态映像 的 instance |