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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lessThan
lessThan

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1729-1730
No TPTP formula. May not be expressible in strict first order. Merge.kif 1839-1840
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 337-338
No TPTP formula. May not be expressible in strict first order. Merge.kif 1836-1836 O argumento numero 1 de lessThan e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 1837-1837 O argumento numero 2 de lessThan e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 1831-1831 lessThan e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 1833-1833 lessThan e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 1834-1834 lessThan e' uma instancia de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order. Merge.kif 1832-1832 lessThan e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 1835-1835 lessThan e' tricotomizado en Numero Real

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 141-141
No TPTP formula. May not be expressible in strict first order. english_format.kif 142-142
No TPTP formula. May not be expressible in strict first order. french_format.kif 92-92
No TPTP formula. May not be expressible in strict first order. relations-it.txt 163-163
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1919-1919
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 44-44
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 76-76
No TPTP formula. May not be expressible in strict first order. relations-de.txt 172-172
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 202-202
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 111-111
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 91-91
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 325-325
No TPTP formula. May not be expressible in strict first order. Merge.kif 1850-1850 greaterThan e' inverso de lessThan
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 142-142
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34144-34144
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34143-34143
No TPTP formula. May not be expressible in strict first order. terms-de.txt 52-52
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 326-326

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7524-7530 Objeto auto-conectado e' uma instancia de LiquidDrop approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 500.0 e' menos que Numero Real Objeto auto-conectado e' uma instancia de Droplet
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3051-3062 FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3002-3013 FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3015-3026 FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3064-3075 FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
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. Media.kif 3068-3089
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 759-775
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 342-348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 269-274
No TPTP formula. May not be expressible in strict first order. Merge.kif 13885-13900
No TPTP formula. May not be expressible in strict first order. Merge.kif 13902-13915
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2667-2673
No TPTP formula. May not be expressible in strict first order. Merge.kif 13831-13840
No TPTP formula. May not be expressible in strict first order. Merge.kif 13842-13851
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 694-710
No TPTP formula. May not be expressible in strict first order. Catalog.kif 430-445
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5968-5982
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5950-5962
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3682-3695
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3708-3721
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1240-1246

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


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. Merge.kif 1948-1952 Numero Real e' uma instancia de Numero Real negativo Numero Real e' menos que 0 Numero Real e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1871 Numero Real e' menor ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18727-18736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18742-18752
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18758-18768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18774-18784
No TPTP formula. May not be expressible in strict first order. Dining.kif 1148-1156
No TPTP formula. May not be expressible in strict first order. Merge.kif 2623-2628
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13576-13585
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13504-13513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13515-13526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13466-13476
No TPTP formula. May not be expressible in strict first order. Merge.kif 4958-4972
No TPTP formula. May not be expressible in strict first order. Dining.kif 772-795
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1391-1400
No TPTP formula. May not be expressible in strict first order. Geography.kif 1940-1954
No TPTP formula. May not be expressible in strict first order. Weather.kif 888-894
No TPTP formula. May not be expressible in strict first order. Weather.kif 878-886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4698-4708
No TPTP formula. May not be expressible in strict first order. Merge.kif 10983-10996
No TPTP formula. May not be expressible in strict first order. Medicine.kif 620-630
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1926-1940

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6099-6106 Caminho do Grafo Caminho do Grafo Caminho do Grafo e' uma instancia de o conjunto de caminhos que dividem Grafo em dois grafos distintos Caminho do Grafo e' uma instancia de o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos o comprimento de Caminho do Grafo e' Inteiro positivo o comprimento de Caminho do Grafo e' Inteiro positivo Inteiro positivo e' menos que Inteiro positivo


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