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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricDevice

 Sigma KEE - ElectricDevice
ElectricDevice(电器)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2543-2544
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1096-1096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2542-2542 电器 是 设备 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 4481-4481 UnpoweredDevice 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 628-628 Accelerometer 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25988-25988 AirConditioner 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2578-2578 电池 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 535-535 电容器元件 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 2410-2410 充电器 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 25-25 电脑 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3559-3559 DevicePowerSupply 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 374-374 ElectricCoffeeMaker 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 5076-5076 ElectricLightFixture 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1780-1780 电动马达 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 485-485 ElectricSpeakerDevice 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 984-984 电路 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 980-980 电气元件 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 796-796 电动机 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2167-2167 电气化铁路车 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Cars.kif 3887-3887 Electromagnet 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25176-25176 FabricIron 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2995-2995 传真机 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4459-4459 FitbitDevice 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25381-25381 HairDryer 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 552-552 电感元件 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1797-1797 麦克风 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 350-350 Microwave 是 电器 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26292-26292 Photocopier 是 电器 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2546-2554
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 490-494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25947-25960

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


No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
No TPTP formula. May not be expressible in strict first order. naics.kif 7186-7198
No TPTP formula. May not be expressible in strict first order. Music.kif 559-569
No TPTP formula. May not be expressible in strict first order. engineering.kif 1139-1151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1788-1795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2640-2645
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2652-2657
No TPTP formula. May not be expressible in strict first order. Music.kif 689-695


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