TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2394-2396
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6200-6205
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1074-1077
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6223-6223	O conceito Unidade de Medida e' completamente decomposto em CompositeUnitOfMeasure + NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6198-6198	Unidade de Medida e' uma sub-classe de Quantidade Fisica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 853-853	Rad e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2093-2093	RevolutionsPerMinute e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6497-6497	O contra-dominio de GigaFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6469-6469	O contra-dominio de KiloFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6483-6483	O contra-dominio de MegaFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6539-6539	O contra-dominio de MicroFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6525-6525	O contra-dominio de MilliFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6553-6553	O contra-dominio de NanoFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6568-6568	O contra-dominio de PicoFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3965-3965	O contra-dominio de SquareUnitFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6511-6511	O contra-dominio de TeraFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6612-6612	O contra-dominio de UnitFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9868-9868	AcidityMeasure e' uma sub-classe de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6207-6207	CompositeUnitOfMeasure e' uma sub-classe de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6215-6215	NonCompositeUnitOfMeasure e' uma sub-classe de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7449-7449	SoundPressureLevelUnit e' uma sub-classe de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6237-6237	Sistema International de Unidades e' uma sub-classe de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1301-1301
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1819-1819
No TPTP formula. May not be expressible in strict first order.	french_format.kif 979-979
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 514-514
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 518-518
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2663-2663
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 931-931

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6496-6496	O argumento numero 1 de GigaFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6468-6468	O argumento numero 1 de KiloFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6349-6349	O argumento numero 2 de MeasureFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6482-6482	O argumento numero 1 de MegaFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6538-6538	O argumento numero 1 de MicroFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6524-6524	O argumento numero 1 de MilliFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6552-6552	O argumento numero 1 de NanoFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6567-6567	O argumento numero 1 de PicoFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3964-3964	O argumento numero 1 de SquareUnitFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6510-6510	O argumento numero 1 de TeraFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 900-900	O argumento numero 4 de componentDataID e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6150-6150	O argumento numero 2 de graphMeasure e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Food.kif 1245-1245	O argumento numero 5 de mixtureRatio e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 840-840	O argumento numero 2 de unitMeasuringPerformance e' uma instancia de Unidade de Medida

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) FamilyStylePortion e' um atributo de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Unidade de Medida e' uma instancia de Unidade de Medida Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	Entidade e' uma instancia de EngineChoke DeviceOn e' um atributo de Entidade vale durante Processo DeviceOff e' um atributo de Entidade vale durante Processo Objeto auto-conectado e' uma instancia de EngineCylinder capacity Objeto auto-conectado and Quantidade Constante Processo e' uma instancia de FourStrokeCompression Processo e' uma instancia de FourStrokeCompression eventLocated Processo and Objeto auto-conectado eventLocated Processo and Objeto auto-conectado Objeto e' uma instancia de Air Objeto e' uma instancia de Fuel Objeto e' uma &parte de Quantidade ConstanteIX1 Objeto e' uma &parte de Quantidade ConstanteIX1 a medida de Quantidade ConstanteIX1 e' Quantidade Constante Objeto e' uma instancia de Air Objeto e' uma instancia de Fuel Objeto e' uma &parte de Quantidade ConstanteIX2 Objeto e' uma &parte de Quantidade ConstanteIX2 a medida de Quantidade ConstanteIX2 e' Quantidade Constante Unidade de Medida e' uma instancia de Unidade de Medida a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) ObjetoM + ObjetoM e' maior que ObjetoM + ObjetoM
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2365-2384	Processo e' uma instancia de Hurricane SpeedScaleAttribute e' uma instancia de SSHWSAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que Numero Real Unidade de Medida(s) e' igual a Mean1MinuteWindSpeedFn Objeto and tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	Objeto e' uma instancia de Mistura Unidade de Medida e' uma instancia de Unidade de Medida mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto a medida de Substancia e' Numero Real Unidade de Medida(s) a medida de Substancia e' Numero Real Unidade de Medida(s) Numero Real e' igual a ( Numero Real + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6620-6626	Quantidade Fisica e' uma instancia de Quantidade Fisica Unidade de Medida e' uma instancia de Unidade de Medida Quantidade Fisica e' igual a Numero Real Unidade de Medida(s) UnitFn Quantidade Fisica e' igual a Unidade de Medida
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6503-6507	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a 1 bilhao Unidade de Medidas 1 Unidade de Medida(s) e' igual a 1000000 1 mil Unidade de Medidas(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6475-6479	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a 1 mil Unidade de Medidas 1 Unidade de Medida(s) e' igual a 1000 Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6489-6493	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a 1 milhao Unidade de Medidas 1 Unidade de Medida(s) e' igual a 1000000 Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6545-6549	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a um milhonesimo de Unidade de Medida 1 Unidade de Medida(s) e' igual a 0.000001 Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6531-6535	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a um milesimo de Unidade de Medida 1 Unidade de Medida(s) e' igual a 0.001 Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6560-6564	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a um bilhonesimo de Unidade de Medida 1 Unidade de Medida(s) e' igual a 0.000000001 Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6575-6579	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a um trilhonesimo de um Unidade de Medida 1 Unidade de Medida(s) e' igual a 0.000000000001 Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6517-6521	Unidade de Medida e' uma instancia de Unidade de Medida Unidade de Medida e' igual a 1 trilhao Unidade de Medidas 1 Unidade de Medida(s) e' igual a 1000000000 1 mil Unidade de Medidas(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	Processo e' uma instancia de Wind SpeedScaleAttribute e' uma instancia de BeaufortNumberAttribute eventLocated Processo and Objeto Agente Cognitivo acredita que Processo tem um atributo de SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Numero Real Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real Agente Cognitivo acredita que surfaceWindSpeed Objeto and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	Objeto e' Outside em relacao a Regiao Objeto e' uma instancia de PerimeterAreaFn Regiao Objeto e' uma instancia de UniformPerimeterArea a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Regiao e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida ( Numero Real + Numero Real) e' maior que 0.0 Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	Objeto e' Outside em relacao a Regiao Objeto e' uma instancia de PerimeterAreaFn Regiao Objeto e' uma instancia de UniformPerimeterArea a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Regiao e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida ( Numero Real + Numero Real) e' menor ou igual a 0.0 Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Fisico Numero Real Fisico e' uma instancia de Movimento Fisico tem um atributo de SpeedScaleAttribute a medida de Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Intervalo Temporal e' uma instancia de DayTime Processo e' uma instancia de Looking Objeto e' uma instancia de Objeto color Objeto and Black Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto eventLocated Processo and Regiao tempo de existencia de Processo acontece durante Intervalo Temporal Objeto e' uma instancia de Objeto Numero Real a distancia entre AutonomousAgent e Objeto 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.	Weather.kif 2750-2771	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Intervalo Temporal e' uma instancia de NightTime Processo e' uma instancia de Looking Objeto e' uma instancia de Regiao Illuminated e' um atributo de Objeto a medida de Objeto e' 1000.0 Candela(s) Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto eventLocated Processo and Regiao tempo de existencia de Processo acontece durante Intervalo Temporal Objeto e' uma instancia de Objeto Numero Real a distancia entre AutonomousAgent e Objeto 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.	Weather.kif 2709-2726	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Processo AutonomousAgent, Objeto and Numero Real Processo e' uma instancia de Looking Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto tempo de existencia de Processo acontece durante Intervalo Temporal eventLocated Processo and Regiao a distancia entre AutonomousAgent e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	Objeto e' uma instancia imediata de Classe Fisico e' uma instancia imediata de Classe Oversized e' um atributo de Objeto ObjetoSIZE FisicoSIZE and Unidade de Medida Unidade de Medida e' uma instancia de Unidade de Medida a medida de Objeto e' ObjetoSIZE Unidade de Medida(s) a medida de Fisico e' FisicoSIZE Unidade de Medida(s) ObjetoSIZE e' maior que FisicoSIZE
No TPTP formula. May not be expressible in strict first order.	Media.kif 2286-2291	codeMapping ISO-4217-A, Sequencia Simbolica and Entidade Entidade e' uma instancia de Unidade de Medida stringLength 3 and Sequencia Simbolica Sequencia Simbolica e' uma instancia de AlphabeticString

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

KB Term:			Term intersection

English Word: