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

Formal Language: 



KB Term:  Term intersection
English Word: 

  agent

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 2424-2427
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 2420-2420 The number 1 argument of agent is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2421-2421 The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2418-2418 agent is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2419-2419 agent is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2422-2422 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. 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 22899-22899 typical action is internally related to agent
No TPTP formula. May not be expressible in strict first order. Law.kif 246-246 arresting officer is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19510-19510 contest participant is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23516-23516 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 290-290 perpetrator is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16142-16142 plaintiff is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Law.kif 328-328 prosecutor is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22960-22960 service provider is a subrelation of 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 18670-18676
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. 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 25846-25859
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. 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 20567-20576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18182-18196
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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Law.kif 499-508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30767-30788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9791-9813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29725-29737

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 7694-7700 An agent is a customer of a cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the agent is an agent of the process and the process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3648-3655 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. Mid-level-ontology.kif 30376-30384 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 1588-1594 Legal agent is an attribute of an entity holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13970-13976
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13961-13968
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 13949-13959
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 17217-17230
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 20434-20456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30068-30077
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30079-30089
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 A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Government.kif 1241-1248 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 923-931 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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