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 2421-2425
No TPTP formula. May not be expressible in strict first order. Merge.kif 2417-2417 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2418-2418 The number 2 argument of experiencer is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2415-2415 experiencer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2416-2416 experiencer is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2419-2419 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. Merge.kif 12945-12945 attends is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23395-23395 loses control is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22839-22839 service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22796-22796
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 22795-22795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22794-22794

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6317-6324
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. Merge.kif 18044-18050
No TPTP formula. May not be expressible in strict first order. Merge.kif 18022-18028
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17035-17045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16185-16195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21252-21267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16205-16215
No TPTP formula. May not be expressible in strict first order. Merge.kif 10153-10160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21173-21181
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21167-21171
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 11617-11625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11600-11615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6003-6014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6016-6035
No TPTP formula. May not be expressible in strict first order. emotion.kif 1129-1139
No TPTP formula. May not be expressible in strict first order. emotion.kif 1141-1147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6082-6100
No TPTP formula. May not be expressible in strict first order. Merge.kif 10178-10193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18051-18055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9914-9922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9892-9904

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 383-416 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 108-123 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 144-159 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 264-290 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 429-462 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 336-368 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 6191-6204
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. Mid-level-ontology.kif 23855-23869
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 17035-17045
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. emotion.kif 1945-1958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16042-16054
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18460-18476
No TPTP formula. May not be expressible in strict first order. Merge.kif 10153-10160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11617-11625
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6003-6014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16356-16364
No TPTP formula. May not be expressible in strict first order. WMD.kif 1029-1033
No TPTP formula. May not be expressible in strict first order. emotion.kif 2000-2008

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 482-495 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