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 Le nombre 1 argument de WhereFn est une instance de physique
No TPTP formula. May not be expressible in strict first order. Merge.kif 4223-4223 Le nombre 2 argument de WhereFn est une instance de point temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 4219-4219 WhereFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 4220-4220 WhereFn est une instance de relation spatial
No TPTP formula. May not be expressible in strict first order. Merge.kif 4221-4221 WhereFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 4224-4224 Le domaine de WhereFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order. Merge.kif 4225-4225 WhereFn est reli� � l'int�rieur de SUMO � 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 Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 82-97 Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 118-133 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
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