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 15940-15941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15939-15939	设备是人工制品的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1882-1882	增氧机是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2734-2734	动物控制器是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2762-2762	动物动力装置是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16012-16012	附着装置是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26245-26245	AudioRecorder 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2613-2613	AutomobileMuffler 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3535-3535	轴是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1404-1404	BallBearing 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2015-2015	壅是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2850-2850	指挥棒是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 538-538	Brake 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 672-672	BrakeCaliper 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 666-666	BrakeDrum 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 677-677	BrakePedal 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 660-660	BrakeRotor 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1920-1920	刷子或梳子是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1634-1634	Cam 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13313-13313	相机是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3072-3072	运河闸门是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30785-30785	Carabiner 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15034-15034	烟囱是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5588-5588	清洁设备是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1808-1808	Clutch 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1695-1695	CombustionChamber 是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2260-2260	罗盘是设备的 subclass

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 17884-17884	操作的 1 数量是设备的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1387-1387	有效范围的 1 数量是设备的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3620-3620	maxDeviceOperatingTemp 的 1 数量是设备的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3648-3648	maxDeviceStorageTemp 的 1 数量是设备的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3673-3673	minDeviceOperatingTemp 的 1 数量是设备的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3698-3698	minDeviceStorageTemp 的 1 数量是设备的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1734-1734	功率元件的 1 数量是设备的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 827-827	PlayingInstrumentFn 的 1 数量是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24310-24310	设备数量的 2 数量是设备的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24325-24325	设备类型的 2 数量是设备的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1365-1371	如果实体是 InternetAccessPoint 的 instance 和另一个实体是设备的 instance，然后那个另外实体是互联网的 component 在那个另外实体是和那个实体 connected 出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30079-30087	如果过程是损坏的 instance 和实体是设备的 instance 和那个实体是那个过程的 patient，然后 DeviceDamaged 是那个实体的 attribute 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1742-1746	如果人工制品是设备的 power 组件和那个人工制品是设备的 instance，然后那个人工制品是自供电设备的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15943-15946	如果客体是设备的 instance，然后有存在有点过程这样那个客体能够担当工具的角色做有点过程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15948-15955	如果物理是设备的 instance，然后有存在实体这样那个物理的目的是有存在另一个实体这样那个另外实体是那个实体的 instance 和那个物理是导致那个另外实体的 instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1833-1837	如果属性是客体的 attribute 和那个属性是设备属性的 instance，然后那个客体是设备的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2930-2948	如果工程组件是 EngineGovernor 的 instance 和另一个工程组件是发动机的 instance 和那个工程组件是和那个另外工程组件 connected 和 governorSpeed 那个另外工程组件 and 实数英里每小時，然后那个工程组件的目的是不存在实体，另一个实体， and 和第三实体这样那个另外实体是设备的 instance 和那个另外实体是那个另外工程组件的 part 和那个实体是旋转的 instance 和那个另外实体的 measure 是那个第三实体英里每小時和那个第三实体是 greaterThan 那个实数在那个实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17891-17895	如果过程是安装的 instance 和实体是那个过程的 patient，然后那个实体是设备的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1083-1087	如果过程是关掉设备的 instance 和实体是那个过程的 patient，然后那个实体是设备的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1107-1111	如果过程是打开设备的 instance 和实体是那个过程的 patient，然后那个实体是设备的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16066-16071	如果躯体性物体是工程组件的 instance，然后有存在另一个躯体性物体这样那个另外躯体性物体是设备的 instance 和那个躯体性物体是那个另外躯体性物体的 component
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2755-2760	如果人工制品是自供电设备的 instance，然后有存在设备这样那个设备是设备的 instance 和那个人工制品是那个设备的 power 组件
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1732-1742	如果过程是地面风速量度的 instance，然后有存在客体和另一个客体这样那个客体是地理区域的 instance 和那个另外客体是设备的 instance 和那个过程是 located 在那个客体和那个另外客体是导致那个过程的 instrument 和 10.0 仪表是那个另外客体的 elevation 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Music.kif 36-47	如果客体是 RecordingStudio 的 instance，然后有存在物理这样那个物理是设备的 instance 和那个物理的目的是有存在实体和另一个实体这样那个实体是 Recording 的 instance 和那个物理是导致那个另外实体的 instrument 和那个实体是那个另外实体的 result 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26902-26911	如果客体是 ScubaDiving 的 instance，然后有存在另一个客体，第三客体， and 和过程这样那个另外客体是水域的 instance 和那个客体在那个另外客体的下面和那个第三客体是设备的 instance 和那个过程是呼吸的 instance 和那个第三客体是导致那个过程的 instrument 和那个过程%n是那个客体的subProcess
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	如果工程组件是 BabyMonitoringSystem 的 instance，然后有存在另一个工程组件和第三工程组件这样那个第三工程组件是无线电接收器的 instance 和那个另外工程组件是设备的 instance 和那个第三工程组件是那个工程组件的 component 和那个另外工程组件是那个工程组件的 component 和那个工程组件的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体， and 和第七实体这样那个实体是人类宝贝的 instance 和那个另外实体是人类的 instance 和那个实体是 located 在那个第四实体和那个另外实体是 located 在那个第五实体和那个第四实体不 equal 那个第五实体和那个第六实体是维护的 instance 和那个实体是那个第六实体的 patient 和那个另外实体是那个第六实体的 agent 和那个另外工程组件是 located 在那个第四实体和那个第三工程组件是 located 在那个第五实体和那个第三实体是放射声音的 instance 和那个第三实体是 located 在那个第四实体和那个第七实体是无线电发射的 instance 和那个第三实体是那个第七实体的 patient 和那个第七实体在那个第三工程组件结束和那个另外工程组件是那个第七实体的 agent
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1121-1131	如果物理是 RemoteControl 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是电子信号的 instance 和那个物理是那个实体的 agent 和那个实体在那个另外实体结束和那个另外实体是设备的 instance 和那个物理不是那个另外实体的 part

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: