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 2402-2406
No TPTP formula. May not be expressible in strict first order. Merge.kif 2398-2398 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2399-2399 The number 2 argument of experiencer is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2396-2396 experiencer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2397-2397 experiencer is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2400-2400 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 12837-12837 attends is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22869-22869 loses control is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22313-22313 service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22797-22797
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 22796-22796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22795-22795

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 820-841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. Merge.kif 17930-17936
No TPTP formula. May not be expressible in strict first order. Merge.kif 17908-17914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16612-16622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15764-15774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20767-20782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15784-15794
No TPTP formula. May not be expressible in strict first order. Merge.kif 10105-10112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20692-20700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20686-20690
No TPTP formula. May not be expressible in strict first order. emotion.kif 1894-1900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11252-11260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11235-11250
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5723-5734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5736-5755
No TPTP formula. May not be expressible in strict first order. emotion.kif 1137-1147
No TPTP formula. May not be expressible in strict first order. emotion.kif 1149-1155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5802-5820
No TPTP formula. May not be expressible in strict first order. Merge.kif 10130-10145
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 17625-17629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9554-9562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9532-9544
No TPTP formula. May not be expressible in strict first order. emotion.kif 1718-1729

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 372-405 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 exists a list such that the list is an instance of list and length of the list is an instance of another 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-121 The births per thousand of a geopolitical area and the year an integer 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 142-155 The deaths per thousand of a geopolitical area and the year an integer 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 257-281 The deaths per thousand live births of a geopolitical area and the year an integer 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 418-449 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 327-357 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another 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 5907-5920
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
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 23329-23343
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 16612-16622
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 1953-1966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15621-15633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18030-18046
No TPTP formula. May not be expressible in strict first order. Merge.kif 10105-10112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11252-11260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5723-5734
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 15934-15942
No TPTP formula. May not be expressible in strict first order. WMD.kif 1021-1025

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. WMD.kif 917-925 ?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. People.kif 469-479 The children born per woman of a geopolitical area and the year an integer 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 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