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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AutonomousAgent
AutonomousAgent(agent)

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 1545-1546
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 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 3686-3686 Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6678-6678 The range of street address is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16057-16057 Commercial agent is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13945-13945 Geopolitical area is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16108-16108 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 14246-14246 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16494-16494 Organization is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1553-1553 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. domainEnglishFormat.kif 64506-64506
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 2411-2411 The number 1 argument of aborted is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1685-1685 The number 1 argument of election is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1321-1321 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 3713-3713 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 3739-3739 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 4261-4261 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 7778-7778 The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1660-1660 The number 2 argument of achievement is an instance of agent
No TPTP formula. May not be expressible in strict first order. Hotel.kif 596-596 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 2421-2421 The number 2 argument of agent is an instance of agent
No TPTP formula. May not be expressible in strict first order. Media.kif 3423-3423 The number 2 argument of agent name is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2235-2235 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 23289-23289 The number 2 argument of alias is an instance of agent
No TPTP formula. May not be expressible in strict first order. Biography.kif 150-150 The number 2 argument of appointedPosition is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23009-23009 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 23560-23560 The number 2 argument of arrested is an instance of agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1942-1942 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 2424-2424 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 2435-2435 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 attitude for formula 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 attitude for object is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 15340-15340 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 22994-22994 The number 2 argument of benefits 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 1774-1779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30347-30358
No TPTP formula. May not be expressible in strict first order. Government.kif 1700-1704
No TPTP formula. May not be expressible in strict first order. Government.kif 1767-1772
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 772-795
No TPTP formula. May not be expressible in strict first order. Government.kif 1692-1698
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 11608-11618
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 4563-4580
No TPTP formula. May not be expressible in strict first order. Merge.kif 11625-11637
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 2501-2508
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 1447-1453
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2830-2844
No TPTP formula. May not be expressible in strict first order. Government.kif 1478-1485
No TPTP formula. May not be expressible in strict first order. Economy.kif 3754-3758
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 3162-3189
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 3205-3232
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4057-4068

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 30328-30341 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 3734-3738
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3782-3786
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 23539-23543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15757-15770
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4563-4580
No TPTP formula. May not be expressible in strict first order. Merge.kif 16112-16116
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3614
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3681-3713
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 16515-16519
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2632-2641
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 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 2028-2045
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3829-3833
No TPTP formula. May not be expressible in strict first order. Dining.kif 1026-1030
No TPTP formula. May not be expressible in strict first order. Dining.kif 956-980
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 766-773
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4551-4561

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