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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 O argumento numero 1 de SubtractionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 4728-4728 O argumento numero 2 de SubtractionFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 5297-5297 0 e' um elemento identificador de SubtractionFn
No TPTP formula. May not be expressible in strict first order. Merge.kif 4724-4724 SubtractionFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 4726-4726 SubtractionFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 4729-4729 O contra-dominio de SubtractionFn e' uma instancia de Numero Real

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 O valor absoluto de Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo Numero Real nao-negativo e' igual a (0.0 + Numero Real)
No TPTP formula. May not be expressible in strict first order. People.kif 156-187 Ano e' uma instancia de o ano Numero Inteiro MigrantsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero Inteiro) e' igual a 1 Entidade e' uma instancia de o ano Numero Inteiro PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano Numero Real + 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 e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ( Numero Inteiro + Numero Inteiro) e' igual a Numero Real Numero Real + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 Ano e' uma instancia de o ano Numero Inteiro PopulationGrowthFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero InteiroP) e' igual a 1 Posicao Temporal e' uma instancia de o ano Numero InteiroP PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano PopulationFn Area Geopolitica e' igual a Numero Real vale durante Posicao Temporal Numero Real + Numero Real e' igual a Numero Real ( Numero Real + 1) e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 272-293 average Lista and Numero Real Lista Inteiro positivo comprimento de Lista e' igual a comprimento de Lista 1th elemento de Lista e' igual a 1th elemento de Lista Inteiro positivo Inteiro positivo e' igual a comprimento de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista + Inteiro positivo
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 Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 32.0) + 1.8 FahrenheitDegree(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7009-7011 Numero Real CelsiusDegree(s) e' igual a ( Numero Real + 273.15) KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Military.kif 924-937 ReachingMilitaryAgeAnnuallyMaleFn 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. Merge.kif 4737-4738 Numero Inteiro ( Numero Inteiro+2) e' igual a ( Numero Inteiro + 1)


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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