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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agent
Agent(agent)Four_Horsemen, Grace, Rhadamanthus, Vajra, Zurvan, aeon, agent, 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...

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 1439-1440
No TPTP formula. May not be expressible in strict first order. Merge.kif 1437-1437 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 4251-4251 Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6350-6350 The range of street address is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15034-15034 Commercial agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13053-13053 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15085-15085 Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order. engineering.kif 1304-1304 IT agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1493-1493 LegalAgent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13340-13340 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15471-15471 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1447-1447 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 903-903

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2391-2391 The number 1 argument of aborted is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1639-1639 The number 1 argument of election is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1275-1275 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 3700-3700 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 3725-3725 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 4119-4119 The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1176-1176 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 1211-1211 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 7405-7405 The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1635-1635 The number 2 argument of achievement is an instance of agent
No TPTP formula. May not be expressible in strict first order. Hotel.kif 569-569 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 2340-2340 The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Media.kif 3393-3393 The number 2 argument of agentName is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2189-2189 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 21152-21152 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 20855-20855 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 21434-21434 The number 2 argument of arrested is an instance of agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1864-1864 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 2365-2365 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 2376-2376 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 2024-2024 The number 2 argument of attitudeForFormula is an instance of agent
No TPTP formula. May not be expressible in strict first order. emotion.kif 2017-2017 The number 2 argument of attitudeForObject is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14322-14322 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 20838-20838 The number 2 argument of benefits is an instance of agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1844-1844 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 1728-1733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28431-28442
No TPTP formula. May not be expressible in strict first order. Government.kif 1654-1658
No TPTP formula. May not be expressible in strict first order. Government.kif 1721-1726
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1187-1203
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 1646-1652
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1508-1520
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 437-447
No TPTP formula. May not be expressible in strict first order. Merge.kif 10896-10906
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1228-1255
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4560-4577
No TPTP formula. May not be expressible in strict first order. Merge.kif 10913-10925
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 471-478
No TPTP formula. May not be expressible in strict first order. Government.kif 2442-2449
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 1401-1407
No TPTP formula. May not be expressible in strict first order. Government.kif 1432-1439
No TPTP formula. May not be expressible in strict first order. Economy.kif 3739-3743
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1702-1724
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1776-1787
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3203-3229
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4055-4066
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4172-4183

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 28413-28426 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 782-790
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3733-3737
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3781-3785
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 21413-21417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13570-13583
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4560-4577
No TPTP formula. May not be expressible in strict first order. Merge.kif 15089-15093
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3581-3613
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3680-3712
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 15492-15496
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2633-2642
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2047-2064
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1932-1951
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1964-1983
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1996-2015
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2028-2045
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3828-3832
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 919-930
No TPTP formula. May not be expressible in strict first order. Hotel.kif 739-746
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4548-4558

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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