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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Agent

Sigma KEE - Agent
Agent(agent)Four_Horsemen, Grace, Rhadamanthus, Vajra, Zurvan, aeon, apparition, autonomous, besieger, bogey, bogie, bogy, cacodaemon, cacodemon, causal_agency, causal_agent, cause, cause_of_death, control, demiurge, destiny, deus_ex_machina, eon, eudaemon, eudemon, fantasm, fate, first_cause, ghoul, good_spirit, harasser, hoister, incarnate, jockey, juggernaut, killer, life_principle, mascot, nature, numen, occult, phantasm, phantasma, phantom, presence, prime_mover, primum_mobile, specter, spectre, spirit...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1683-1683
No TPTP formula. May not be expressible in strict first order. Merge.kif 1504-1505
No TPTP formula. May not be expressible in strict first order. Merge.kif 1502-1502 Agent is a subclass of object

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3670-3670 Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6375-6375 The range of street address is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15904-15904 Commercial agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13807-13807 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15955-15955 Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order. engineering.kif 1305-1305 IT agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14094-14094 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16341-16341 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1512-1512 Sentient agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 848-848
No TPTP formula. May not be expressible in strict first order. english_format.kif 898-898

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2410-2410 The number 1 argument of aborted is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1682-1682 The number 1 argument of election is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1318-1318 The number 1 argument of executive branch is an instance of agent
No TPTP formula. May not be expressible in strict first order. Economy.kif 3707-3707 The number 1 argument of fiscal year is an instance of agent
No TPTP formula. May not be expressible in strict first order. Economy.kif 3732-3732 The number 1 argument of fiscal year starting is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4190-4190 The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1178-1178 The number 1 argument of sellers items is an instance of agent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1213-1213 The number 1 argument of sellers other items is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 7702-7702 The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1628-1628 The number 2 argument of achievement is an instance of agent
No TPTP formula. May not be expressible in strict first order. Hotel.kif 575-575 The number 1 argument of activity capability is an instance of agent
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. Media.kif 3411-3411 The number 2 argument of agentName is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2232-2232 The number 1 argument of agent operates in area is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22655-22655 The number 2 argument of alias is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22375-22375 The number 1 argument of area of responsibility is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22926-22926 The number 2 argument of arrested is an instance of agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1937-1937 The number 3 argument of ask price is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2421-2421 The number 1 argument of associate in organization is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2432-2432 The number 1 argument of associate with status is an instance of agent
No TPTP formula. May not be expressible in strict first order. emotion.kif 2126-2126 The number 2 argument of attitudeForFormula is an instance of agent
No TPTP formula. May not be expressible in strict first order. emotion.kif 2119-2119 The number 2 argument of attitudeForObject is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15187-15187 The number 1 argument of authors is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22360-22360 The number 2 argument of benefits is an instance of agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1917-1917 The number 3 argument of bid price is an instance of agent

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. Government.kif 1771-1776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29644-29655
No TPTP formula. May not be expressible in strict first order. Government.kif 1697-1701
No TPTP formula. May not be expressible in strict first order. Government.kif 1764-1769
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1189-1205
No TPTP formula. May not be expressible in strict first order. Dining.kif 725-748
No TPTP formula. May not be expressible in strict first order. Government.kif 1689-1695
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1509-1521
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 437-448
No TPTP formula. May not be expressible in strict first order. Merge.kif 11495-11505
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1230-1257
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
No TPTP formula. May not be expressible in strict first order. Merge.kif 11512-11524
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 472-479
No TPTP formula. May not be expressible in strict first order. Government.kif 2498-2505
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
No TPTP formula. May not be expressible in strict first order. Government.kif 1444-1450
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2826-2840
No TPTP formula. May not be expressible in strict first order. Government.kif 1475-1482
No TPTP formula. May not be expressible in strict first order. Economy.kif 3746-3750
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1777-1788
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-3232
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4058-4069

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 29625-29638 Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 784-792
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3736-3740
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3784-3788
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 426-435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22905-22909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15336-15349
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
No TPTP formula. May not be expressible in strict first order. Merge.kif 15959-15963
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
No TPTP formula. May not be expressible in strict first order. Media.kif 895-901
No TPTP formula. May not be expressible in strict first order. Merge.kif 16362-16366
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2636-2645
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2050-2067
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1935-1954
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1967-1986
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1999-2018
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2031-2048
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3831-3835
No TPTP formula. May not be expressible in strict first order. Dining.kif 979-983
No TPTP formula. May not be expressible in strict first order. Dining.kif 909-933
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 921-932
No TPTP formula. May not be expressible in strict first order. Hotel.kif 745-752
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4549-4559

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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