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	Unit� de mesure est compl�tement d�compos� en CompositeUnitOfMeasure + NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6198-6198	Unit� de mesure est une sous-classe de quantit� physique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 853-853	Rad est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2093-2093	RevolutionsPerMinute est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6497-6497	Le domaine de GigaFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6469-6469	Le domaine de KiloFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6483-6483	Le domaine de MegaFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6539-6539	Le domaine de MicroFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6525-6525	Le domaine de MilliFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6553-6553	Le domaine de NanoFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6568-6568	Le domaine de PicoFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3965-3965	Le domaine de SquareUnitFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6511-6511	Le domaine de TeraFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6612-6612	Le domaine de UnitFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9868-9868	AcidityMeasure est une sous-classe de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6207-6207	CompositeUnitOfMeasure est une sous-classe de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6215-6215	NonCompositeUnitOfMeasure est une sous-classe de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7449-7449	SoundPressureLevelUnit est une sous-classe de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6237-6237	Syst�me d'unit� international est une sous-classe de unit� de mesure
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	Le nombre 1 argument de GigaFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6468-6468	Le nombre 1 argument de KiloFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6349-6349	Le nombre 2 argument de MeasureFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6482-6482	Le nombre 1 argument de MegaFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6538-6538	Le nombre 1 argument de MicroFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6524-6524	Le nombre 1 argument de MilliFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6552-6552	Le nombre 1 argument de NanoFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6567-6567	Le nombre 1 argument de PicoFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3964-3964	Le nombre 1 argument de SquareUnitFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6510-6510	Le nombre 1 argument de TeraFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 900-900	Le nombre 4 argument de componentDataID est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6150-6150	Le nombre 2 argument de graphMeasure est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Food.kif 1245-1245	Le nombre 5 argument de mixtureRatio est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 840-840	Le nombre 2 argument de unitMeasuringPerformance est une instance de unit� de mesure

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) FamilyStylePortion est un attribut de objet la mesure de objet est nombre r�el unit� de mesure(s) objet est une instance de classe objet est une instance de classe unit� de mesure est une instance de unit� de mesure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	Entit� est une instance de EngineChoke DeviceOn est un attribut de entit� pendant processus DeviceOff est un attribut de entit� pendant processus objet en une partie est une instance de EngineCylinder capacity objet en une partie and quantit� constante processus est une instance de FourStrokeCompression processus est une instance de FourStrokeCompression eventLocated processus and objet en une partie eventLocated processus and objet en une partie objet est une instance de Air objet est une instance de Fuel objet est une partie de quantit� constanteIX1 objet est une partie de quantit� constanteIX1 la mesure de quantit� constanteIX1 est quantit� constante objet est une instance de Air objet est une instance de Fuel objet est une partie de quantit� constanteIX2 objet est une partie de quantit� constanteIX2 la mesure de quantit� constanteIX2 est quantit� constante unit� de mesure est une instance de unit� de mesure la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) objetM + objetM est plus grand que objetM + objetM
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2365-2384	Processus est une instance de Hurricane SpeedScaleAttribute est une instance de SSHWSAttribute eventLocated processus and objet agent cognitif croit processus a un attribute SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure nombre r�el nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el agent cognitif croit nombre r�el unit� de mesure(s) est Mean1MinuteWindSpeedFn objet and temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	Objet est une instance de mixture unit� de mesure est une instance de unit� de mesure mixtureRatio substance, substance, nombre r�el, nombre r�el and unit� de mesure la mesure de objet est nombre r�el unit� de mesure(s) substance est une partie de objet substance est une partie de objet la mesure de substance est nombre r�el unit� de mesure(s) la mesure de substance est nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6620-6626	Quantit� physique est une instance de quantit� physique unit� de mesure est une instance de unit� de mesure quantit� physique est nombre r�el unit� de mesure(s) UnitFn quantit� physique est unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6503-6507	Unit� de mesure est une instance de unit� de mesure unit� de mesure est billion unit� de mesures 1 unit� de mesure(s) est millier unit� de mesures(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6475-6479	Unit� de mesure est une instance de unit� de mesure unit� de mesure est millier unit� de mesures 1 unit� de mesure(s) est unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6489-6493	Unit� de mesure est une instance de unit� de mesure unit� de mesure est million unit� de mesures 1 unit� de mesure(s) est unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6545-6549	Unit� de mesure est une instance de unit� de mesure unit� de mesure est millioni�me de unit� de mesure 1 unit� de mesure(s) est unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6531-6535	Unit� de mesure est une instance de unit� de mesure unit� de mesure est milli�me de unit� de mesure 1 unit� de mesure(s) est unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6560-6564	Unit� de mesure est une instance de unit� de mesure unit� de mesure est billioni�me de unit� de mesure 1 unit� de mesure(s) est unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6575-6579	Unit� de mesure est une instance de unit� de mesure unit� de mesure est trillioni�me de un unit� de mesure 1 unit� de mesure(s) est unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6517-6521	Unit� de mesure est une instance de unit� de mesure unit� de mesure est trillion unit� de mesures 1 unit� de mesure(s) est millier unit� de mesures(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	Processus est une instance de Wind SpeedScaleAttribute est une instance de BeaufortNumberAttribute eventLocated processus and objet agent cognitif croit processus a un attribute SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure nombre r�el nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el agent cognitif croit surfaceWindSpeed objet and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	Objet est Outside � r�gion objet est une instance de PerimeterAreaFn r�gion objet est une instance de UniformPerimeterArea la largeur de objet est nombre r�el unit� de mesure(s) la distance entre objet et r�gion est nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure ( nombre r�el + nombre r�el) est plus grand que 0.0 objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	Objet est Outside � r�gion objet est une instance de PerimeterAreaFn r�gion objet est une instance de UniformPerimeterArea la largeur de objet est nombre r�el unit� de mesure(s) la distance entre objet et r�gion est nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure ( nombre r�el + nombre r�el) est plus petit ou �gal � 0.0 objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	speedScaleAttributeMinMax SpeedScaleAttribute, nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure physique nombre r�el physique est une instance de d�palcement physique a un attribute SpeedScaleAttribute la mesure de physique est nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure interval temporel est une instance de DayTime processus est une instance de Looking objet est une instance de objet color objet and Black processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet eventLocated processus and r�gion temps d'existence de processus prend place pendant interval temporel objet est une instance de objet nombre r�el la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure interval temporel est une instance de NightTime processus est une instance de Looking objet est une instance de r�gion Illuminated est un attribut de objet la mesure de objet est 1000.0 Candela(s) processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet eventLocated processus and r�gion temps d'existence de processus prend place pendant interval temporel objet est une instance de objet nombre r�el la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure processus AutonomousAgent, objet and nombre r�el processus est une instance de Looking processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet temps d'existence de processus prend place pendant interval temporel eventLocated processus and r�gion la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	Objet est une instance imm�diate de classe physique est une instance imm�diate de classe Oversized est un attribut de objet objetSIZE physiqueSIZE and unit� de mesure unit� de mesure est une instance de unit� de mesure la mesure de objet est objetSIZE unit� de mesure(s) la mesure de physique est physiqueSIZE unit� de mesure(s) objetSIZE est plus grand que physiqueSIZE
No TPTP formula. May not be expressible in strict first order.	Media.kif 2286-2291	codeMapping ISO-4217-A, cha�ne sympbolique and entit� entit� est une instance de unit� de mesure stringLength 3 and cha�ne sympbolique cha�ne sympbolique est une instance 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: