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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agent
Agent(agent)عَامِل, Agente, Four_Horsemen, Grace, Rhadamanthus, Vajra, Zurvan, aeon, agent, ahente, 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, kartaa, killer, kinatawan, life_principle, mascot, nature, numen, occult, phantasm, phantasma, phantom...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1548-1548
No TPTP formula. May not be expressible in strict first order. Merge.kif 1546-1547
No TPTP formula. May not be expressible in strict first order. Merge.kif 1545-1545 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 6368-6368 The range of street address is an instance of agent
No TPTP formula. May not be expressible in strict first order. Facebook.kif 632-632 AutomatedSystem is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Robot.kif 7-7 CarryBot is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16236-16236 Commercial agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13919-13919 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16297-16297 Group is a subclass of agent
No TPTP formula. May not be expressible in strict first order. engineering.kif 1310-1310 IT agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1608-1608 LegalAgent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14256-14256 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16724-16724 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1555-1555 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 535-535 "agent" is the printable form of agent in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 524-524 "agent" is the printable form of agent in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 55-55 "kartaa" is the printable form of agent in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 56-56 "Agente" is the printable form of agent in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 476-476 "Agente" is the printable form of agent in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 260-260 "عَامِل" is the printable form of agent in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 60-60 "ahente" is the printable form of agent in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 91-91 "agent" is the printable form of agent in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 59-59 "kinatawan" is the printable form of agent in tg

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2378-2378 The number 1 argument of aborted is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1645-1645 The number 1 argument of election is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1281-1281 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 4365-4365 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 7950-7950 The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order. Hotel.kif 565-565 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 2555-2555 The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Media.kif 3338-3338 The number 2 argument of agentName is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2195-2195 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 20716-20716 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 20419-20419 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 20998-20998 The number 2 argument of arrested is an instance of agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1866-1866 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 2371-2371 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 2382-2382 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 2018-2018 The number 2 argument of attitudeForFormula is an instance of agent
No TPTP formula. May not be expressible in strict first order. emotion.kif 2011-2011 The number 2 argument of attitudeForObject is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15428-15428 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 20402-20402 The number 2 argument of benefits is an instance of agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1846-1846 The number 3 argument of bid price is an instance of agent
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1892-1892 The number 2 argument of broker 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 1734-1739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27949-27960
No TPTP formula. May not be expressible in strict first order. Government.kif 1660-1664
No TPTP formula. May not be expressible in strict first order. Government.kif 1727-1732
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 729-752
No TPTP formula. May not be expressible in strict first order. Government.kif 1652-1658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1510-1522
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 438-448
No TPTP formula. May not be expressible in strict first order. Merge.kif 11470-11480
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 4553-4570
No TPTP formula. May not be expressible in strict first order. Merge.kif 11488-11500
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 2448-2455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 394-406
No TPTP formula. May not be expressible in strict first order. Government.kif 1407-1413
No TPTP formula. May not be expressible in strict first order. Government.kif 1438-1445
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 1704-1726
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3161-3187
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1778-1788
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3204-3230
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4047-4058
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4164-4175

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 27933-27944 Alone is an attribute of an object holds during an entity if and only if there don't exist another entity and a process such that a third entity is not equal to the other entity and the other entity is an instance of agent and the process is an instance of social interaction and the third entity is an involved in event of the process and the other entity is an involved in event of the process
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 785-793
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3725-3729
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3773-3777
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 427-436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20977-20981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13283-13296
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4553-4570
No TPTP formula. May not be expressible in strict first order. Merge.kif 16303-16307
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3571-3604
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3671-3704
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. Society.kif 232-240
No TPTP formula. May not be expressible in strict first order. Merge.kif 16750-16754
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2634-2643
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2048-2065
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1933-1952
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1965-1984
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1997-2016
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2029-2046
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3820-3824
No TPTP formula. May not be expressible in strict first order. Dining.kif 983-987
No TPTP formula. May not be expressible in strict first order. Dining.kif 913-937
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 922-933
No TPTP formula. May not be expressible in strict first order. Hotel.kif 735-742

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