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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - experiencer
experiencer

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3981-3983
No TPTP formula. May not be expressible in strict first order. Merge.kif 3975-3979
No TPTP formula. May not be expressible in strict first order. Merge.kif 3985-3987
No TPTP formula. May not be expressible in strict first order. Merge.kif 3971-3971 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 3972-3972 The number 2 argument of experiencer is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 3969-3969 experiencer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 3970-3970 experiencer is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3973-3973 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 128-128
No TPTP formula. May not be expressible in strict first order. english_format.kif 129-129
No TPTP formula. May not be expressible in strict first order. Merge.kif 17398-17398 attends is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21358-21358 loses control is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20770-20770 service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22735-22735 "体验者" is the printable form of experiencer in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 104-104 "经历者" is the printable form of experiencer in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22734-22734 "體驗者" is the printable form of experiencer in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22733-22733 "experiencer" is the printable form of experiencer in english language

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 810-831
No TPTP formula. May not be expressible in strict first order. Hotel.kif 518-533
No TPTP formula. May not be expressible in strict first order. Merge.kif 23001-23007
No TPTP formula. May not be expressible in strict first order. Merge.kif 22970-22976
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14760-14770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13989-13999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19101-19116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14009-14019
No TPTP formula. May not be expressible in strict first order. Merge.kif 14092-14099
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19044-19052
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19038-19042
No TPTP formula. May not be expressible in strict first order. Merge.kif 14122-14137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15932-15936
No TPTP formula. May not be expressible in strict first order. emotion.kif 1672-1683
No TPTP formula. May not be expressible in strict first order. emotion.kif 1545-1559
No TPTP formula. May not be expressible in strict first order. emotion.kif 1695-1708
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2576-2590
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 133-140
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2501-2505
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2558-2572
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14026-14035
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1928-1943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15942-15948

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 104-117 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 a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 138-151 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 a quantity and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 253-277 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 a quantity 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 quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 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 323-353 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. People.kif 367-398 The male 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. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
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. MilitaryPersons.kif 120-131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14760-14770
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1618-1629
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1631-1643
No TPTP formula. May not be expressible in strict first order. emotion.kif 1843-1856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13848-13859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16261-16277
No TPTP formula. May not be expressible in strict first order. Merge.kif 14092-14099
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 196-205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14104-14112
No TPTP formula. May not be expressible in strict first order. WMD.kif 973-977
No TPTP formula. May not be expressible in strict first order. emotion.kif 1898-1906
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2576-2590
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2558-2572

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 870-878 ?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 ?SUBSTANCE 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 462-472 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 761-767 ?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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners