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

Formal Language: 



KB Term:  Term intersection
English Word: 

  experiencer

Sigma KEE - experiencer
experiencer

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order. Merge.kif 2462-2466
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 496-498
No TPTP formula. May not be expressible in strict first order. Merge.kif 2458-2458 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2459-2459 The number 2 argument of experiencer is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2456-2456 experiencer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2457-2457 experiencer is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2460-2460 experiencer is a subrelation of involved in event

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order. english_format.kif 103-103
No TPTP formula. May not be expressible in strict first order. french_format.kif 74-74
No TPTP formula. May not be expressible in strict first order. relations-it.txt 102-102
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1900-1900
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order. relations-de.txt 118-118
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 93-93
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 73-73
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 215-215
No TPTP formula. May not be expressible in strict first order. Merge.kif 13083-13083 attends is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23446-23446 loses control is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22890-22890 service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22804-22804
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22803-22803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22802-22802
No TPTP formula. May not be expressible in strict first order. terms-de.txt 34-34
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 216-216

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6357-6364
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. Medicine.kif 6470-6482
No TPTP formula. May not be expressible in strict first order. Merge.kif 18203-18209
No TPTP formula. May not be expressible in strict first order. Merge.kif 18181-18187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17193-17203
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1545-1555
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6304-6313
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2230-2239
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2200-2216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16343-16353
No TPTP formula. May not be expressible in strict first order. Medicine.kif 80-94
No TPTP formula. May not be expressible in strict first order. Medicine.kif 44-59
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21474-21489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16363-16373
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3179-3194
No TPTP formula. May not be expressible in strict first order. Merge.kif 10197-10204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21395-21403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21389-21393
No TPTP formula. May not be expressible in strict first order. emotion.kif 1886-1892
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11771-11779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11754-11769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6043-6054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6056-6075

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. People.kif 357-390 A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6231-6244
No TPTP formula. May not be expressible in strict first order. Hotel.kif 504-520
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. emotion.kif 161-172
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6470-6482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23889-23903
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 120-131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17193-17203
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1545-1555
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6304-6313
No TPTP formula. May not be expressible in strict first order. emotion.kif 1945-1958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16200-16212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18679-18695
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3179-3194
No TPTP formula. May not be expressible in strict first order. Merge.kif 10197-10204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11771-11779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6043-6054

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 A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
No TPTP formula. May not be expressible in strict first order. WMD.kif 767-773 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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