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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubtractionFn

 Sigma KEE - SubtractionFn
SubtractionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2216-2219
No TPTP formula. May not be expressible in strict first order. Merge.kif 4731-4735
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 880-883
No TPTP formula. May not be expressible in strict first order. Merge.kif 4727-4727 Le nombre 1 argument de SubtractionFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order. Merge.kif 4728-4728 Le nombre 2 argument de SubtractionFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order. Merge.kif 5297-5297 0 est un SubtractionFn
No TPTP formula. May not be expressible in strict first order. Merge.kif 4724-4724 SubtractionFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 4726-4726 SubtractionFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 4729-4729 Le domaine de SubtractionFn est une instance de nombre r�el

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 684-684
No TPTP formula. May not be expressible in strict first order. english_format.kif 686-686
No TPTP formula. May not be expressible in strict first order. french_format.kif 415-415
No TPTP formula. May not be expressible in strict first order. relations-it.txt 285-285
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2132-2132
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 367-367
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 424-424
No TPTP formula. May not be expressible in strict first order. relations-de.txt 891-891
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 322-322
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 437-437
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 459-459
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 477-477
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55856-55856
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 685-685
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55855-55855
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55854-55854

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 783-788
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 818-828
No TPTP formula. May not be expressible in strict first order. Media.kif 3050-3071
No TPTP formula. May not be expressible in strict first order. Merge.kif 3171-3178
No TPTP formula. May not be expressible in strict first order. Merge.kif 3180-3189
No TPTP formula. May not be expressible in strict first order. Merge.kif 3191-3203
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23946-23960
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3331-3341
No TPTP formula. May not be expressible in strict first order. Merge.kif 8639-8644
No TPTP formula. May not be expressible in strict first order. Merge.kif 8665-8670
No TPTP formula. May not be expressible in strict first order. Merge.kif 8692-8697
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-424
No TPTP formula. May not be expressible in strict first order. Merge.kif 8719-8724
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 466-481
No TPTP formula. May not be expressible in strict first order. Merge.kif 8784-8789
No TPTP formula. May not be expressible in strict first order. Geography.kif 863-872
No TPTP formula. May not be expressible in strict first order. Geography.kif 852-861

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4769-4780 La valeur absolue de nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el nombre r�el non n�gatif est une instance de nombre r�el nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est nombre r�el non n�gatif nombre r�el est une instance de nombre r�el n�gatif nombre r�el non n�gatif est nombre r�el)
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif
No TPTP formula. May not be expressible in strict first order. Weather.kif 1470-1481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14864-14873
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4563-4571
No TPTP formula. May not be expressible in strict first order. Merge.kif 17985-18010

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7013-7015 Nombre r�el CelsiusDegree(s) est nombre r�el + 32.0) + 1.8 FahrenheitDegree(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7009-7011 Nombre r�el CelsiusDegree(s) est nombre r�el + 273.15) KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Military.kif 924-937 ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order. Merge.kif 4737-4738 Nombre entier ( nombre entier+2) est nombre entier + 1)


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