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 1437-1438
No TPTP formula. May not be expressible in strict first order. Merge.kif 1435-1435 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 4245-4245 Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6371-6371 The range of street address is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14885-14885 Commercial agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 12915-12915 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14936-14936 Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order. engineering.kif 1300-1300 IT agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1491-1491 LegalAgent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13202-13202 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15317-15317 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1445-1445 Sentient agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 848-848 "施事体" is the printable form of agent in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 903-903 "agent" is the printable form of agent in english language

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 3983-3983 The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1174-1174 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 1209-1209 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 7268-7268 The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1637-1637 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 2334-2334 The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Media.kif 3391-3391 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 21109-21109 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 20812-20812 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 21391-21391 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 2023-2023 The number 2 argument of attitudeForFormula is an instance of agent
No TPTP formula. May not be expressible in strict first order. emotion.kif 2016-2016 The number 2 argument of attitudeForObject is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14184-14184 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 20795-20795 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 28387-28398
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 1185-1201
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 1506-1518
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 435-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 10755-10765
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1226-1253
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
No TPTP formula. May not be expressible in strict first order. Merge.kif 10772-10784
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 469-476
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 391-403
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 1700-1722
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3158-3184
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1774-1785
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3201-3227
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4053-4064
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4170-4181

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 28369-28382 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 780-788
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3731-3735
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3779-3783
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 424-433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21370-21374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13542-13555
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
No TPTP formula. May not be expressible in strict first order. Merge.kif 14940-14944
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
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 15338-15342
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2631-2640
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2045-2062
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1930-1949
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1962-1981
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1994-2013
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2026-2043
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3826-3830
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 917-928
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 4546-4556

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners