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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtensorDigitorumLongusMuscle

 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 4730-4734
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 4726-4726 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 4727-4727 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 5296-5296 0 est un SubtractionFn
No TPTP formula. May not be expressible in strict first order. Merge.kif 4723-4723 SubtractionFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 4725-4725 SubtractionFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 4728-4728 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 55854-55854
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 55853-55853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55852-55852

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 3068-3089
No TPTP formula. May not be expressible in strict first order. Merge.kif 3170-3177
No TPTP formula. May not be expressible in strict first order. Merge.kif 3179-3188
No TPTP formula. May not be expressible in strict first order. Merge.kif 3190-3202
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. FinancialOntology.kif 3331-3341
No TPTP formula. May not be expressible in strict first order. Merge.kif 8603-8608
No TPTP formula. May not be expressible in strict first order. Merge.kif 8629-8634
No TPTP formula. May not be expressible in strict first order. Merge.kif 8656-8661
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 8683-8688
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 8748-8753
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 4768-4779 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 1486-1497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14837-14846
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 17906-17931

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7012-7014 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 7008-7010 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 933-946 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 4736-4737 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