Device - Sigma 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 15962-15963
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15961-15961	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 1882-1882	Aerator est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2734-2734	AnimalController est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2762-2762	AnimalPoweredDevice est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16034-16034	AttachingDevice est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26233-26233	AudioRecorder est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2619-2619	AutomobileMuffler est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3535-3535	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 2850-2850	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 1920-1920	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 13312-13312	Camera est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3072-3072	CanalLockGate est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30773-30773	Carabiner est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15033-15033	Chimney est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5587-5587	CleaningDevice est une sous-classe de appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1814-1814	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 2260-2260	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 17883-17883	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 1387-1387	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 1734-1734	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 24309-24309	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 24324-24324	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 30067-30075	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 1742-1746	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 15965-15968	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 15970-15977	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 1833-1837	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 2936-2954	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 17890-17894	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 1083-1087	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 1107-1111	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 16088-16093	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 2755-2760	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 1728-1738	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 26890-26899	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 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

KB Term:			Term intersection

English Word: