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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agent
agent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1865-1867
No TPTP formula. May not be expressible in strict first order. Merge.kif 2437-2440
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 488-490
No TPTP formula. May not be expressible in strict first order. Merge.kif 2433-2433 Le nombre 1 argument de agent est une instance de processus
No TPTP formula. May not be expressible in strict first order. Merge.kif 2434-2434 Le nombre 2 argument de agent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2431-2431 agent est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order. Merge.kif 2432-2432 agent est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 2435-2435 agent est une sous-relation de involvedInEvent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 53-53
No TPTP formula. May not be expressible in strict first order. english_format.kif 53-53
No TPTP formula. May not be expressible in strict first order. french_format.kif 55-55
No TPTP formula. May not be expressible in strict first order. relations-it.txt 22-22
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1875-1875
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 7-7
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 80-80
No TPTP formula. May not be expressible in strict first order. relations-de.txt 62-62
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 53-53
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 74-74
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 54-54
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 56-56
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22871-22871 typicalAction est reli� � l'int�rieur de SUMO � agent
No TPTP formula. May not be expressible in strict first order. Law.kif 227-227 arrestingOfficer est une sous-relation de agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19704-19704 contestParticipant est une sous-relation de agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23487-23487 gainsControl est une sous-relation de agent
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 23-23 invadingVirus est une sous-relation de agent
No TPTP formula. May not be expressible in strict first order. Law.kif 271-271 perpetrator est une sous-relation de agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16299-16299 plaintiff est une sous-relation de agent
No TPTP formula. May not be expressible in strict first order. Law.kif 309-309 prosecutor est une sous-relation de agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22931-22931 serviceProvider est une sous-relation de agent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 54-54

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. Mid-level-ontology.kif 18864-18870
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 487-499
No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Biography.kif 757-776
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5824-5834
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 134-143
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25781-25794
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Government.kif 1814-1818
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 157-176
No TPTP formula. May not be expressible in strict first order. Government.kif 1552-1559
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20761-20770
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18370-18385
No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 546-561
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361

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 7754-7760 customer agent cognitif and AutonomousAgent processus processus est une instance de financial transaction processus est un agent de AutonomousAgent processus aboutit agent cognitif
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3635-3642 customerRepresentative agent cognitif, agent cognitif and organisation processus processus est une instance de financial transaction organisation emploie agent cognitif processus est un agent de agent cognitif processus aboutit agent cognitif
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30295-30303 Mute est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de Speaking temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 LegalAgent est un attribut de entit� pendant position temporel entit� est capable de faire action l�gale dans le r�le agent entit� est capable de faire action l�gale dans le r�le patient pendant position temporel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14127-14133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14118-14125
No TPTP formula. May not be expressible in strict first order. Music.kif 280-287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14106-14116
No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Biography.kif 223-230
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4373-4382
No TPTP formula. May not be expressible in strict first order. Biography.kif 757-776
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Merge.kif 17403-17416
No TPTP formula. May not be expressible in strict first order. Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 134-143
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20628-20650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29987-29996
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29998-30008
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 157-176
No TPTP formula. May not be expressible in strict first order. Hotel.kif 684-695
No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1116
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 456-469 Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Government.kif 1205-1212 ?AGENT ?VOTER, ?ELECTION and ?VOTING contient information ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 887-895 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER contient information VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1056-1067 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contient information UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order. Government.kif 1124-1138 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contient information CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4559-4564 Processus entit� processus est une instance de disseminer processus est un agent de Netflix entit� est un patient de processus entit� est une instance de motion picture
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4569 Processus processus est une instance de FilmMaking processus est un agent de Netflix


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