agent |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1865-1867 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2383-2386 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2379-2379 | 主事 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2380-2380 | 主事 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2377-2377 | 主事 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2378-2378 | 主事 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2381-2381 | 主事 是 参与活动 的 subrelation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 53-53 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 53-53 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22265-22265 | typicalAction 和 主事 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Law.kif 270-270 | arrestingOfficer 是 主事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19051-19051 | 比赛参与者 是 主事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22882-22882 | 取得控制权 是 主事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 23-23 | 入侵病毒 是 主事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Law.kif 314-314 | perpetrator 是 主事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15717-15717 | 原告 是 主事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Law.kif 352-352 | prosecutor 是 主事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22326-22326 | 服务供应者 是 主事 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 54-54 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18212-18218 | |
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. | 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 524-543 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 57-75 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 125-134 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1160-1177 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25139-25152 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1910-1921 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 498-507 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1847-1851 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-171 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1585-1592 | |
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. | Mid-level-ontology.kif 20075-20084 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17752-17766 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 332-346 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 820-841 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 526-541 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 334-349 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 790-811 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 524-533 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30064-30085 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9411-9433 |
|
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 7400-7406 | 有认知的主事 是 另一个 有认知的主事 的 customer 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 那个 另外 有认知的主事 结束 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3639-3646 | 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 另一个 有认知的主事 结束 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29673-29681 | Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 说话 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1547-1553 | LegalAgent 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 那个 实体 能够担当 主事 的角色做 法律诉讼 或 那个 实体 能够担当 受事 的角色做 法律诉讼 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13570-13576 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13561-13568 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 278-285 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13549-13559 | |
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. | ComputingBrands.kif 4336-4345 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 524-543 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 57-75 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 193-212 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17085-17098 | |
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. | ArabicCulture.kif 125-134 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1160-1177 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19943-19964 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29371-29380 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29382-29392 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 153-171 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 663-674 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1129-1149 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 130-150 |
|
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. | Government.kif 1238-1245 | 对所有 ?AGENT, ?VOTER,, , ?ELECTION, and 和 ?VOTING
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 920-928 | 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1089-1100 | 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1157-1171 | 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
No TPTP formula. May not be expressible in strict first order. | People.kif 469-479 | 地缘政治区域 和 整数 year 每个女人生的 children equal 符号串 所描述的类别 instance 的数量 |
![]() |
![]() |