top - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - top

top

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2845-2846
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9763-9764
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1589-1590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9760-9760	O argumento numero 1 de top e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9761-9761	O argumento numero 2 de top e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9759-9759	top e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9758-9758	top e' uma sub-relacao de superficialPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 389-389
No TPTP formula. May not be expressible in strict first order.	english_format.kif 395-395
No TPTP formula. May not be expressible in strict first order.	french_format.kif 223-223
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 301-301
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2029-2029
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 175-175
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 522-522
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 337-337
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 243-243
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 241-241
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 493-493
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58450-58450
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 390-390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58449-58449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58448-58448

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9812-9817	A altura de Objeto auto-conectado e' Medida de Comprimento o topo de Objeto auto-conectado e' Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Objeto auto-conectado e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4693-4703	Objeto auto-conectado e' uma instancia de Bottle o fundo de Objeto auto-conectado e' Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength a largura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a largura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 1285-1301	Objeto e' uma instancia de Cappuccino Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de MilkFoam mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter Objeto auto-conectado e' uma &parte de Substancia Objeto auto-conectado e' uma instancia de Bubble o topo de Substancia e' Objeto auto-conectado a medida de Objeto auto-conectado e' Numero Real Millimeter(s) approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.15 approximateValue Numero Real and 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1367-1385	Objeto e' uma instancia de FlatWhite Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de MilkFoam mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter Objeto auto-conectado e' uma &parte de Substancia Objeto auto-conectado e' uma &parte de Substancia o topo de Substancia e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Bubble a medida de Objeto auto-conectado e' Numero Real Millimeter(s) approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.15 Numero Real e' maior ou igual a 1.0 Numero Real e' menor ou igual a 20.0
No TPTP formula. May not be expressible in strict first order.	Food.kif 1399-1415	Objeto e' uma instancia de Latte Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto Substancia e' uma instancia de Espresso Substancia e' uma instancia de MilkFoam mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Liter Objeto auto-conectado e' uma &parte de Substancia Objeto auto-conectado e' uma instancia de Bubble o topo de Substancia e' Objeto auto-conectado a medida de Objeto auto-conectado e' Numero Real Millimeter(s) approximateValue Numero Real and 0.03 approximateValue Numero Real and 0.21 approximateValue Numero Real and 12.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4159-4163	Objeto auto-conectado e' uma instancia de Mesa o topo de Objeto auto-conectado e' Objeto auto-conectado FlatTerrain e' um atributo de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4140-4144	Objeto auto-conectado e' uma instancia de Plateau o topo de Objeto auto-conectado e' Objeto auto-conectado FlatTerrain e' um atributo de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17544-17549	Processo e' uma instancia de Reversing Entidade e' um patient de Processo o topo de Entidade e' Entidade o fundo de Entidade e' Entidade vale durante o comeco de tempo de existencia de Processo o topo de Entidade e' Entidade o fundo de Entidade e' Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4772-4777	Objeto auto-conectado e' uma instancia de Sea o topo de Objeto auto-conectado e' Objeto auto-conectado a altitude de Objeto auto-conectado e' SeaLevel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4765-4770	Objeto auto-conectado e' uma instancia de Sea o topo de Objeto auto-conectado e' Objeto auto-conectado a altitude de Objeto auto-conectado e' SeaLevel
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4182-4186	Objeto auto-conectado e' uma instancia de Butte o topo de Objeto auto-conectado e' Objeto auto-conectado FlatTerrain e' um atributo de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9790-9795	O topo de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' igual a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9766-9771	O topo de Objeto auto-conectado e' Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' conectado com Objeto auto-conectado Objeto e' Below em relacao a Objeto auto-conectado

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7754-7759	A altitude de Objeto auto-conectado e' Fisico Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1922-1930	elevation Objeto auto-conectado and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Objeto auto-conectado e' uma instancia de LandForm Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e SeaLevel e' Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17544-17549	Processo e' uma instancia de Reversing Entidade e' um patient de Processo o topo de Entidade e' Entidade o fundo de Entidade e' Entidade vale durante o comeco de tempo de existencia de Processo o topo de Entidade e' Entidade o fundo de Entidade e' Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1634-1655	Processo e' uma instancia de Tornado Processo e' uma instancia de Rotating Objeto e' uma instancia de Air ProcessoRAN e' uma instancia de Translocation Processo e' um sub-processo de Processo ProcessoRAN e' um sub-processo de Processo Objeto e' um patient de ProcessoRAN as entidades no processo ProcessoRAN se movem Horizontal Objeto Objeto auto-conectado, ProcessoOP, Objeto auto-conectado, Objeto auto-conectado and Objeto auto-conectado Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto Objeto auto-conectado e' uma &parte de Objeto ConeSegment e' um atributo de Objeto auto-conectado o topo de Objeto auto-conectado e' ProcessoOP o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Cloud o fundo de Objeto auto-conectado e' Objeto auto-conectado ProcessoOP encontra Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2816-2829	LevelShape e' um atributo de Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado, Objeto auto-conectado, Numero Real, Numero Real and Unidade de Medida o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' uma &parte de Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1157-1165	LoftStyle e' um atributo de Objeto auto-conectado Objeto auto-conectado Objeto and Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto e' uma instancia de Artefato Estacionario Objeto e' Above em relacao a Objeto auto-conectado Objeto e' Below em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4471-4479	Entidade e' uma instancia de Box o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 6
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15363-15368	Objeto auto-conectado e' uma instancia de Ceiling Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Comodo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 964-973	Objeto auto-conectado e' uma instancia de GolfHole Objeto auto-conectado shape Objeto auto-conectado and Cylinder o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Regiao shape Objeto auto-conectado and Circle o diametro de Objeto auto-conectado e' 4.25 Inch(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4012-4020	Objeto auto-conectado e' uma instancia de Lid Objeto auto-conectado Objeto auto-conectado e' uma instancia de Container Objeto auto-conectado e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' capaz de fazer Closing no role instrument Objeto auto-conectado e' capaz de fazer Opening no role instrument o topo de Objeto auto-conectado e' Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15373-15378	Objeto auto-conectado e' uma instancia de Roof Objeto auto-conectado Objeto auto-conectado e' uma instancia de Predio o topo de Objeto auto-conectado e' Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26054-26065	Objeto auto-conectado e' uma instancia de Courtyard Objeto auto-conectado Objeto auto-conectado e' uma instancia de Roof o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto Objeto e' uma instancia de Predio Objeto auto-conectado e' Surrounded em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4107-4118	Objeto auto-conectado e' uma instancia de SlopedArea Objeto auto-conectado Objeto auto-conectado, Numero Real, Numero Real and Unidade de Medida o topo de Objeto auto-conectado e' Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto auto-conectado and Numero Real Unidade de Medida(s) earthAltitude Objeto auto-conectado and Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2813-2838	rainfallIntensity Area Geografica, Intervalo Temporal and Funcao de Quantidade Transferencia Colecao, Fisico, Objeto auto-conectado, Entidade, Objeto auto-conectado and TransferenciaFALL Transferencia e' uma instancia de Raining eventLocated Transferencia and Area Geografica tempo de existencia de Transferencia acontece durante Intervalo Temporal Colecao e' uma instancia de Colecao objectTransferred Transferencia and Colecao Fisico e' uma instancia de Agua Fisico e' membro de Colecao Objeto auto-conectado e' uma instancia de Container o fundo de Objeto auto-conectado e' Objeto auto-conectado Flat e' um atributo de Objeto auto-conectado Objeto auto-conectado e' situado em Area Geografica ContainerEmpty e' um atributo de Objeto auto-conectado vale durante o comeco de Intervalo Temporal Colecao e' situado em Objeto auto-conectado o topo de Colecao e' Entidade depth Entidade, Objeto auto-conectado and TransferenciaFALL TransferenciaFALL e' igual a Intervalo Temporal + Funcao de Quantidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3018-3045	snowfallIntensity Area Geografica, Intervalo Temporal and Funcao de Quantidade Transferencia Objeto, Objeto auto-conectado, Entidade, Objeto auto-conectado and Entidade Transferencia e' uma instancia de Snowing eventLocated Transferencia and Area Geografica tempo de existencia de Transferencia acontece durante Intervalo Temporal Objeto e' uma instancia de Snow objectTransferred Transferencia and Objeto Objeto auto-conectado e' uma instancia de BoardOrBlock o fundo de Objeto auto-conectado e' Objeto auto-conectado Flat e' um atributo de Objeto auto-conectado Objeto auto-conectado e' situado em Area Geografica Entidade Entidade e' uma instancia de Objeto Entidade e' situado em Objeto auto-conectado vale durante o comeco de Intervalo Temporal Objeto e' situado em Objeto auto-conectado o topo de Objeto e' Entidade depth Entidade, Objeto auto-conectado and Entidade Entidade e' igual a Intervalo Temporal + Funcao de Quantidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17599-17605	waterDepth Objeto auto-conectado and Medida de Comprimento Objeto auto-conectado Objeto auto-conectado depth Objeto auto-conectado, Objeto auto-conectado and Medida de Comprimento o topo de Objeto auto-conectado e' Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado

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