surface - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - surface

surface

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2838-2840
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9702-9705
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1582-1584
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9699-9699	O argumento numero 1 de surface e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9700-9700	O argumento numero 2 de surface e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9696-9696	surface e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9697-9697	surface e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9698-9698	surface 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 373-373
No TPTP formula. May not be expressible in strict first order.	english_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	french_format.kif 215-215
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 290-290
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2021-2021
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 167-167
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 222-222
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 498-498
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 61-61
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 235-235
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 232-232
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 482-482
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56286-56286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56285-56285

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	A altitude de Aircraft e' Objeto auto-conectado Objeto auto-conectado e' uma superficie de PlanetEarth Aircraft e' uma instancia de Aircraft absoluteHeight Aircraft and AltitudeMeasure
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	Concave e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' igual a LineFn Objeto and Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' Outside em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	Convex e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' igual a LineFn Objeto and Objeto Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' Inside em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17758-17763	Atributo e' uma instancia de Atributo de Forma Atributo e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Atributo e' um atributo de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17786-17791	Atributo e' uma instancia de TextureAttribute Atributo e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Atributo e' um atributo de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objeto e' uma instancia de Crystal MonoCrystalline e' um atributo de Objeto Objeto auto-conectado e' uma instancia de Substancia Solid e' um atributo de Objeto auto-conectado PolyCrystalline e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Substancia Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado ObjetoLNT Numero Inteiro and Objeto ObjetoLNT e' uma instancia de Colecao memberCount ObjetoLNT and Numero Inteiro Numero Inteiro e' maior ou igual a 4 Objeto e' membro de ObjetoLNT Objeto e' uma &parte de Objeto auto-conectado Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	Objeto auto-conectado e' uma instancia de LiquidDrop Objeto auto-conectado e' uma superficie de Objeto auto-conectado o argumento Objeto auto-conectadoS Entidade Entidade e' uma instancia de Substancia Liquid e' um atributo de Entidade Objeto auto-conectado e' igual a Entidade Objeto auto-conectadoS e' uma superficie de Entidade Objeto auto-conectado encontra Objeto auto-conectadoS tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1488-1496	Processo e' uma instancia de Medir Objeto auto-conectado e' um patient de Processo Objeto auto-conectado e' uma superficie de PlanetEarth Medida de Comprimento e' o resultado de Processo Objeto e' um instrumento para Processo Objeto e' uma instancia de BarometricAltimeter elevation Objeto auto-conectado and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4819-4833	Objeto auto-conectado e' uma instancia de Objeto ConvexRoundShape e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de TwoDimensionalObject GeometricPoint GeometricPoint e' uma &parte de Objeto auto-conectado GeometricPoint e' um atributo de GeometricPoint GeometricPoint e' um ponto de Objeto auto-conectado GeometricPoint encontra Objeto auto-conectado GeometricPoint encontra Objeto auto-conectado OneDimensionalFigure a tangente de Objeto auto-conectado e' OneDimensionalFigure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1316-1322	Objeto auto-conectado e' uma instancia de PavedRunway Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Asphalt Objeto auto-conectado e' uma instancia de Concrete
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1324-1329	Objeto auto-conectado e' uma instancia de Runway Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Asphalt Objeto auto-conectado e' uma instancia de PavedRunway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1331-1336	Objeto auto-conectado e' uma instancia de Runway Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Concrete Objeto auto-conectado e' uma instancia de PavedRunway
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4837-4842	Objeto auto-conectado e' uma instancia de Ocean Objeto auto-conectado e' uma superficie de Objeto auto-conectado elevation Objeto auto-conectado and 0.0 FootLength(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4830-4835	Objeto auto-conectado e' uma instancia de Ocean Objeto auto-conectado e' uma superficie de Objeto auto-conectado elevation Objeto auto-conectado and 0.0 Meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3999-4010	Objeto e' uma instancia de UndergroundArea Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto auto-conectado e' uma superficie de PlanetEarth Objeto e' uma &parte de Objeto auto-conectado Objeto e' Below em relacao a Objeto earthAltitude Objeto 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.	Merge.kif 9707-9712	Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto Objeto e' uma parte superficial de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2781-2786	earthAltitude Objeto and Medida de Comprimento Objeto auto-conectado a altitude de Objeto e' Objeto auto-conectado Objeto auto-conectado e' uma superficie de PlanetEarth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	Objeto auto-conectado e' uma instancia de LiquidDrop Objeto auto-conectado e' uma superficie de Objeto auto-conectado o argumento Objeto auto-conectadoS Entidade Entidade e' uma instancia de Substancia Liquid e' um atributo de Entidade Objeto auto-conectado e' igual a Entidade Objeto auto-conectadoS e' uma superficie de Entidade Objeto auto-conectado encontra Objeto auto-conectadoS tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	Processo e' uma instancia de Medir Fisico e' um patient de Processo Medida de Comprimento e' o resultado de Processo Objeto e' um instrumento para Processo Objeto e' uma instancia de AbsoluteAltimeter Fisico2 a altitude de Fisico e' Fisico2 Fisico2 e' uma superficie de PlanetEarth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3188-3196	Processo e' uma instancia de Painting Objeto auto-conectado e' um patient de Processo Objeto e' um recurso para Processo Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma instancia de Paint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5002-5007	Objeto auto-conectado e' uma instancia de Bubble Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Liquid e' um atributo de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8847-8856	Fisico e' uma instancia de Detergent Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Substancia Entidade e' um patient de Entidade Entidade tem como origem Entidade Entidade e' uma superficie de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9395-9401	Fisico e' uma instancia de Lesion Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Orgao Fisico e' situado em Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1204-1209	Objeto auto-conectado e' uma instancia de VirusCoreEnvelope Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma instancia de ViralCore
No TPTP formula. May not be expressible in strict first order.	Food.kif 2302-2308	Objeto auto-conectado e' uma instancia de PeelOrRind Objeto auto-conectado Objeto auto-conectado e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Fruta ou Vegetal Objeto auto-conectado e' uma superficie de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3262-3273	Fisico e' uma instancia de PaintingDevice Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Substancia Entidade e' uma instancia de Cobrir Entidade e' uma instancia de Objeto Entidade e' uma superficie de Entidade Entidade e' um agente de Fisico Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10990-10997	Objeto e' uma instancia de Skin Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Animal Objeto engloba Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 472-479	Objeto e' uma instancia de CellWall Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado e' uma instancia de Celula Objeto e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto auto-conectado e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3472-3481	Fisico e' uma instancia de LandVehicle Fisico tem por fim Entidade Entidade Entidade e' uma superficie de Area Geografica Entidade e' uma instancia de Transporte Fisico encontra Entidade vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 328-333	Objeto e' uma instancia de SubwaySystem Objeto auto-conectado Objeto auto-conectado e' uma superficie de Area Geografica Objeto e' Below em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3991-3997	Objeto e' uma instancia de UndergroundArea Objeto Objeto auto-conectado Objeto auto-conectado e' uma superficie de PlanetEarth Objeto e' uma &parte de Objeto auto-conectado Objeto e' Below em relacao a Objeto

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