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. chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order. Merge.kif 2363-2367
No TPTP formula. May not be expressible in strict first order. Merge.kif 2359-2359 The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2360-2360 The number 2 argument of experiencer is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2357-2357 experiencer is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2358-2358 experiencer is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2361-2361 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 12116-12116 attends is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21422-21422 loses control is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20834-20834 service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22729-22729
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 22728-22728
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22727-22727

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 814-835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-537
No TPTP formula. May not be expressible in strict first order. Merge.kif 16874-16880
No TPTP formula. May not be expressible in strict first order. Merge.kif 16845-16851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14812-14822
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14041-14051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19164-19179
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14061-14071
No TPTP formula. May not be expressible in strict first order. Merge.kif 9587-9594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19107-19115
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19101-19105
No TPTP formula. May not be expressible in strict first order. Merge.kif 9612-9627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 207-216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15984-15988
No TPTP formula. May not be expressible in strict first order. emotion.kif 1678-1689
No TPTP formula. May not be expressible in strict first order. emotion.kif 1551-1565
No TPTP formula. May not be expressible in strict first order. emotion.kif 1701-1714
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2589-2603
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 2514-2518
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2571-2585
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4376-4386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14078-14087
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1941-1956

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 480-496
No TPTP formula. May not be expressible in strict first order. Hotel.kif 784-805
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 14812-14822
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 1849-1862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13899-13911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16401-16417
No TPTP formula. May not be expressible in strict first order. Merge.kif 9587-9594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 195-204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14156-14164
No TPTP formula. May not be expressible in strict first order. WMD.kif 982-986
No TPTP formula. May not be expressible in strict first order. emotion.kif 1904-1912
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2589-2603
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2607-2623
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2571-2585

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 879-887 ?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 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 762-768 ?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