Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agent
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 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 整数 yearinstance 地缘政治区域那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Government.kif 1241-1248 对所有 ?AGENT, ?VOTER,, , ?ELECTION, and 和 ?VOTING contains 独家男性选举权 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER contains 选民公民身份要求 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 普选法 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 强制选举法 的资料
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4557-4562 有存在 过程 实体 这样 那个 过程传播instanceNetflix那个 过程agent那个 实体那个 过程patient那个 实体动态映像instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4564-4567 有存在 过程 这样 那个 过程电影制作instanceNetflix那个 过程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