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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Icon
Icon(图标)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1651-1653
No TPTP formula. May not be expressible in strict first order. Merge.kif 1381-1384
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 237-239
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 280-283
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6622-6622
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7092-7092
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7093-7093
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7095-7095
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7096-7096
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7097-7097
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7098-7098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7099-7099
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7100-7100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7104-7104
No TPTP formula. May not be expressible in strict first order. Merge.kif 1379-1379 图标 是 内容承载物理 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1398-1398 语言式表达 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13279-13279 箭头图标 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13228-13228 蓝图 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13240-13240 图表 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 447-447 ComputerTouchscreenKeyboard 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13250-13250 旗 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2998-2998 资料夹 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13283-13283 地图 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15890-15890 代表性的艺术作品 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29509-29509 TradingCard 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 842-842 UIElement 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1181-1181 UserDirectAction 是 图标 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 836-836
No TPTP formula. May not be expressible in strict first order. english_format.kif 874-874
No TPTP formula. May not be expressible in strict first order. french_format.kif 512-512
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 44-44
No TPTP formula. May not be expressible in strict first order. terms-it.txt 47-47
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2197-2197
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 464-464
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 79-79
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 533-533
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 48-48

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1317-1317 brandIcon 的 2 数量 是 图标 的 instance

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2544-2552


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