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 2393-2396
No TPTP formula. May not be expressible in strict first order. Merge.kif 2389-2389 The number 1 argument of agent is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2390-2390 The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2387-2387 agent is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2388-2388 agent is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2391-2391 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. Law.kif 270-270 arresting officer is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19472-19472 contest participant 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 314-314 perpetrator is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16128-16128 plaintiff is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Law.kif 352-352 prosecutor is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 54-54
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 66236-66236

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18632-18638
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 527-546
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. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Biography.kif 500-510
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-171
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 20529-20538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18168-18182
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 524-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9781-9803
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4368-4382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19845-19851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9842-9864

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 7700-7706 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 3645-3652 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 1557-1563 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 13960-13966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13951-13958
No TPTP formula. May not be expressible in strict first order. Music.kif 279-286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13939-13949
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 4371-4380
No TPTP formula. May not be expressible in strict first order. Biography.kif 527-546
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 17139-17152
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 20396-20418
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 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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358

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 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