| 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 2437-2440 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 488-490 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2433-2433 | 主事 的 1 数量 是 过程 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2434-2434 | 主事 的 2 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2431-2431 | 主事 是 格角色 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2432-2432 | 主事 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2435-2435 | 主事 是 参与活动 的 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. | french_format.kif 55-55 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 22-22 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1875-1875 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 7-7 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 80-80 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 62-62 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 53-53 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 74-74 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 54-54 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 56-56 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22769-22769 | typicalAction 和 主事 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 227-227 | arrestingOfficer 是 主事 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19623-19623 | 比赛参与者 是 主事 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23386-23386 | 取得控制权 是 主事 的 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 271-271 | perpetrator 是 主事 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16243-16243 | 原告 是 主事 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 309-309 | prosecutor 是 主事 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22830-22830 | 服务供应者 是 主事 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 54-54 | |
| 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 18783-18789 | |
| 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 757-776 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5822-5832 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3982-4002 |
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 134-143 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25664-25677 | |
| 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. | Biography.kif 730-740 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 367-385 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1850-1854 | |
| 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. | Government.kif 1588-1595 | |
| 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 20680-20689 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3038-3052 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3020-3036 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18290-18304 | |
| 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 546-561 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
| 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 7699-7705 | 施事体 是 有认知的主事 的 customer 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 在 那个 有认知的主事 结束 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3648-3655 | 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 另一个 有认知的主事 结束 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30172-30180 | Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 说话 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 agent |
| 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 14071-14077 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14062-14069 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 280-287 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14050-14060 | |
| 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 223-230 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4371-4380 | |
| 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. | Merge.kif 17303-17316 | |
| 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 134-143 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20547-20569 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29864-29873 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29875-29885 | |
| 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. | Hotel.kif 684-695 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1132-1152 | |
| 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. | People.kif 482-495 | 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1241-1248 | 对所有 ?AGENT， ?VOTER,， ， ?ELECTION， and 和 ?VOTING
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 923-931 | 对所有 ?COUNTRY， ?ELECTION,， ， ?VOTING， and 和 ?VOTER
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1092-1103 | 对所有 ?POLITY， ?AGENT,， ， ?ELECTION,， ， ?VOTINGAGE， and 和 ?AGE
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1160-1174 | 对所有 ?POLITY， ?VOTER,， ， ?ELECTION,， ， ?VOTINGAGE， and 和 ?AGE
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4557-4562 | 有存在 过程 和 实体 这样 那个 过程 是 传播 的 instance 和 Netflix 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 动态映像 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4564-4567 | 有存在 过程 这样 那个 过程 是 电影制作 的 instance 和 Netflix 是 那个 过程 的 agent |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners