TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3618-3619
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16012-16013
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16011-16011	Appareil est une sous-classe de artefact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1875-1875	Aerator est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2727-2727	AnimalController est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2755-2755	AnimalPoweredDevice est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16084-16084	AttachingDevice est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26278-26278	AudioRecorder est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2596-2596	AutomobileMuffler est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3528-3528	Axle est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1404-1404	BallBearing est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2015-2015	Barricade est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2843-2843	Baton est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 538-538	Brake est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 672-672	BrakeCaliper est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 666-666	BrakeDrum est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 677-677	BrakePedal est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 660-660	BrakeRotor est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1913-1913	BrushOrComb est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1640-1640	Cam est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13340-13340	Camera est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3124-3124	CanalLockGate est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30809-30809	Carabiner est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15061-15061	Chimney est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5582-5582	CleaningDevice est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1791-1791	Clutch est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1701-1701	CombustionChamber est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2253-2253	Compass est une sous-classe de appareil

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.	Mid-level-ontology.kif 17911-17911	Le nombre 1 argument de OperatingFn est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1380-1380	Le nombre 1 argument de effectiveRange est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3620-3620	Le nombre 1 argument de maxDeviceOperatingTemp est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3648-3648	Le nombre 1 argument de maxDeviceStorageTemp est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3673-3673	Le nombre 1 argument de minDeviceOperatingTemp est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3698-3698	Le nombre 1 argument de minDeviceStorageTemp est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1727-1727	Le nombre 1 argument de powerComponent est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	Music.kif 827-827	Le nombre 1 argument de PlayingInstrumentFn est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24367-24367	Le nombre 2 argument de equipmentCount est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24382-24382	Le nombre 2 argument de equipmentType est une sous-classe de appareil

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1365-1371	Entit� est une instance de InternetAccessPoint entit� est une instance de appareil entit� est un composant de Internet pendant temps d'existence de entit� est connect� � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30103-30111	Processus est une instance de endommager entit� est une instance de appareil entit� est un patient de processus DeviceDamaged est un attribut de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1735-1739	powerComponent appareil and artefact artefact est une instance de appareil artefact est une instance de SelfPoweredDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16015-16018	Objet est une instance de appareil processus objet est capable de faire processus dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16020-16027	Physique est une instance de appareil entit� physique a pour but entit� entit� est une instance de entit� physique est un instrument pour entit�

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1826-1830	Attribut est un attribut de objet attribut est une instance de DeviceAttribute objet est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2913-2931	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Engine composant d'un appareil est connect� � composant d'un appareil governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� and entit� entit� est une instance de appareil entit� est une partie de composant d'un appareil entit� est une instance de Rotating la mesure de entit� est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17918-17922	Processus est une instance de Installing entit� est un patient de processus entit� est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1076-1080	Processus est une instance de TurningOffDevice entit� est un patient de processus entit� est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1100-1104	Processus est une instance de TurningOnDevice entit� est un patient de processus entit� est une instance de appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16138-16143	Objet corpusculaire est une instance de composant d'un appareil objet corpusculaire objet corpusculaire est une instance de appareil objet corpusculaire est un composant de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2748-2753	Artefact est une instance de SelfPoweredDevice appareil appareil est une instance de appareil powerComponent appareil and artefact
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1715-1725	Processus est une instance de SurfaceWindSpeedMeasuring objet objet objet est une instance de secteur g�ographique objet est une instance de appareil eventLocated processus and objet objet est un instrument pour processus elevation objet and 10.0 Meter(s) pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Music.kif 36-47	Objet est une instance de RecordingStudio physique physique est une instance de appareil physique a pour but entit� entit� entit� est une instance de Recording physique est un instrument pour entit� entit� est le resultat de entit� physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26935-26944	Objet est une instance de ScubaDiving objet objet and processus objet est une instance de plan d'eau objet est Below � objet objet est une instance de appareil processus est une instance de respirer objet est un instrument pour processus processus est un sous-processus de objet
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	Composant d'un appareil est une instance de BabyMonitoringSystem composant d'un appareil composant d'un appareil composant d'un appareil est une instance de RadioReceiver composant d'un appareil est une instance de appareil composant d'un appareil est un composant de composant d'un appareil composant d'un appareil est un composant de composant d'un appareil composant d'un appareil a pour but entit� entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de HumanBaby entit� est une instance de humain entit� est situ� � entit� entit� est situ� � entit� entit� est entit� entit� est une instance de maintenir entit� est un patient de entit� entit� est un agent de entit� composant d'un appareil est situ� � entit� composant d'un appareil est situ� � entit� entit� est une instance de son irradiant eventLocated entit� and entit� entit� est une instance de RadioEmission entit� est un patient de entit� entit� aboutit � composant d'un appareil entit� est un agent de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1121-1131	Physique est une instance de RemoteControl physique a pour but entit� entit� entit� est une instance de ElectronicSignalling entit� est un agent de physique entit� aboutit � entit� entit� est une instance de appareil physique est une partie de entit�

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: