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 agent, 1 and Process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2434-2434 agent, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2431-2431 agent and CaseRole
No TPTP formula. May not be expressible in strict first order. Merge.kif 2432-2432 agent and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2435-2435 子關係 agent and 參與活動

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 22819-22819 相關的內部概念 typicalAction and agent
No TPTP formula. May not be expressible in strict first order. Law.kif 227-227 子關係 arrestingOfficer and agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19677-19677 子關係 比賽參與者 and agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23435-23435 子關係 獲得控制權 and agent
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 23-23 子關係 入侵病毒 and agent
No TPTP formula. May not be expressible in strict first order. Law.kif 271-271 子關係 perpetrator and agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16272-16272 子關係 原告 and agent
No TPTP formula. May not be expressible in strict first order. Law.kif 309-309 子關係 prosecutor and agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22879-22879 子關係 服務提供者 and agent
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 18837-18843
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 5824-5834
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
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 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. 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 20734-20743
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. Mid-level-ontology.kif 18343-18358
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 7727-7733 AutonomousAgent CognitiveAgentcustomer Process Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 CognitiveAgent 對於 %3 的 customer 代表 Process Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30271-30279 持有期間 TimeInterval and attribute AutonomousAgent and Mute Process Process and 說話 期間 何時 Process and TimeInterval agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14100-14106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14091-14098
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 14079-14089
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 4373-4382
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 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. 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 20601-20623
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29963-29972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29974-29984
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 456-469 and Integer 等於 GeopoliticalArea 每個女人生的 children and 基數 卡帕 SymbolicString and entity and Birth 體驗者 entity and SymbolicString agent entity and entity entity and Human attribute entity and 持有期間 and 棲息 entity and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Government.kif 1241-1248 包含信息 ?AGENT ?VOTER, ?ELECTION and ?VOTING and 獨家男性選舉權
No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER and 選民公民身份要求
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE and 普選法
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE and 強制選舉法
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4559-4564 Process Entity Process and Disseminating agent Process and Netflix 患者 Process and Entity Entity and MotionPicture
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4569 Process Process and 電影製作 agent Process and Netflix


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