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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WhereFn

Sigma KEE - WhereFn
WhereFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2131-2132
No TPTP formula. May not be expressible in strict first order. Merge.kif 4227-4229
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 786-787
No TPTP formula. May not be expressible in strict first order. Merge.kif 4222-4222 O argumento numero 1 de WhereFn e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order. Merge.kif 4223-4223 O argumento numero 2 de WhereFn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order. Merge.kif 4219-4219 WhereFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 4220-4220 WhereFn e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4221-4221 WhereFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 4224-4224 O contra-dominio de WhereFn e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order. Merge.kif 4225-4225 WhereFn e' relacionado internamente por SUMO a WhenFn

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 273-273
No TPTP formula. May not be expressible in strict first order. english_format.kif 278-278
No TPTP formula. May not be expressible in strict first order. french_format.kif 155-155
No TPTP formula. May not be expressible in strict first order. relations-it.txt 315-315
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1983-1983
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 107-107
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 162-162
No TPTP formula. May not be expressible in strict first order. relations-de.txt 353-353
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 58-58
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 174-174
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 161-161
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 507-507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62991-62991
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62990-62990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62989-62989
No TPTP formula. May not be expressible in strict first order. terms-de.txt 113-113

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1753-1773
No TPTP formula. May not be expressible in strict first order. Merge.kif 4231-4235

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. MilitaryProcesses.kif 2516-2530
No TPTP formula. May not be expressible in strict first order. Merge.kif 9601-9607
No TPTP formula. May not be expressible in strict first order. Merge.kif 4237-4241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12397-12406
No TPTP formula. May not be expressible in strict first order. Merge.kif 7988-7996


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