Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Device
Device(appareil)

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 3253-3253 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30103-30111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1735-1739
No TPTP formula. May not be expressible in strict first order. Merge.kif 16015-16018
No TPTP formula. May not be expressible in strict first order. Merge.kif 16020-16027

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1826-1830
No TPTP formula. May not be expressible in strict first order. Cars.kif 2913-2931
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17918-17922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1076-1080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1100-1104
No TPTP formula. May not be expressible in strict first order. Merge.kif 16138-16143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2748-2753
No TPTP formula. May not be expressible in strict first order. Weather.kif 1715-1725
No TPTP formula. May not be expressible in strict first order. Music.kif 36-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26935-26944
No TPTP formula. May not be expressible in strict first order. Communications.kif 258-284
No TPTP formula. May not be expressible in strict first order. engineering.kif 1121-1131


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