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 2383-2386
No TPTP formula. May not be expressible in strict first order. Merge.kif 2379-2379 The number 1 argument of agent is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2380-2380 The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2377-2377 agent is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2378-2378 agent is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2381-2381 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. Mid-level-ontology.kif 22265-22265 typicalAction is internally related to agent
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 19051-19051 contest participant is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22882-22882 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 314-314 perpetrator is a subrelation of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15717-15717 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. Mid-level-ontology.kif 22326-22326 service provider is a subrelation of agent
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 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 3639-3646 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 29673-29681 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 1547-1553 LegalAgent 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 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 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 920-928 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 1089-1100 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 1157-1171 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order. People.kif 469-479 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 a symbolic string


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