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 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 contains 独家男性选举权 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 920-928 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER contains 选民公民身份要求 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1089-1100 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 普选法 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1157-1171 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 强制选举法 的资料
No TPTP formula. May not be expressible in strict first order. People.kif 469-479 地缘政治区域 整数 year 每个女人生的 children equal 符号串 所描述的类别 instance 的数量


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