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. Merge.kif 2561-2563
No TPTP formula. May not be expressible in strict first order. Merge.kif 2557-2560
No TPTP formula. May not be expressible in strict first order. Merge.kif 2554-2554 The number 1 argument of agent is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2555-2555 The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2552-2552 agent is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2553-2553 agent is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2556-2556 agent is a subrelation of involved in event

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. portuguese_format.kif 7-7
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 5-5
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-cb.txt 56-56
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20303-20303 typicalAction is internally related to agent
No TPTP formula. May not be expressible in strict first order. Law.kif 267-267 arresting officer is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17095-17095 contest participant is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20954-20954 gains control is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 23-23 invading virus is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Law.kif 310-310 perpetrator is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13658-13658 plaintiff is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Law.kif 348-348 prosecutor is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20366-20366 service provider is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 54-54 "主事" is the printable form of agent in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 455-455 "«عَامِل»" is the printable form of agent in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 61-61 "kumakatawan" is the printable form of agent in tg

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Facebook.kif 709-709 The number 1 argument of automatedNotification is an instance of agent

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11552-11564 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11733-11745 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16090-16096
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 465-476
No TPTP formula. May not be expressible in strict first order. Biography.kif 518-537
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 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23223-23236
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1879-1890
No TPTP formula. May not be expressible in strict first order. Biography.kif 492-501
No TPTP formula. May not be expressible in strict first order. Government.kif 1810-1814
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Government.kif 1548-1555
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 810-831
No TPTP formula. May not be expressible in strict first order. Hotel.kif 518-533
No TPTP formula. May not be expressible in strict first order. Hotel.kif 333-348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Law.kif 520-529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28357-28378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27350-27362
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4880-4894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17446-17452

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 7426-7432 A cognitive agent is a customer of another cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3527-3534 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 11552-11564 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11733-11745 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27977-27985 Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1630-1636 An object is an instance of LegalAgent holds during an entity if and only if the object is capable of doing legal action as a agent or the object is capable of doing legal action as a patient holds during the entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11443-11449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11434-11441
No TPTP formula. May not be expressible in strict first order. Music.kif 290-297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11422-11432
No TPTP formula. May not be expressible in strict first order. Biography.kif 518-537
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-210
No TPTP formula. May not be expressible in strict first order. Merge.kif 17558-17571
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 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17900-17921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27688-27697
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
No TPTP formula. May not be expressible in strict first order. Hotel.kif 653-664
No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2333-2348
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493

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 1202-1209 For all an agent, another agent,, , an election and a process contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 916-924 For all a nation, an election,, , a process and a human contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1069-1078 For all a nation, a human,, , an election,, , a time duration and another time duration contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1129-1141 For all a nation, a human,, , an election,, , a time duration and another time duration contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order. People.kif 462-472 The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by an 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners