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 O argumento numero 1 de experiencer e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order. Merge.kif 2459-2459 O argumento numero 2 de experiencer e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2456-2456 experiencer e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order. Merge.kif 2457-2457 experiencer e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 2460-2460 experiencer e' uma sub-relacao de involvedInEvent

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 e' uma sub-relacao de experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23446-23446 losesControl e' uma sub-relacao de experiencer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22890-22890 serviceRecipient e' uma sub-relacao de 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 Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 Ano e' uma instancia de o ano Numero Inteiro BirthsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
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 Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM
No TPTP formula. May not be expressible in strict first order. WMD.kif 767-773 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta a probabilidade de ?SYMPTOM e' um atributo de ?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