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 子類 Icon and 內容承載物理

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1398-1398 不相交的 LinguisticExpression and Icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13280-13280 子類 箭頭圖標 and Icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13229-13229 子類 藍圖 and Icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13241-13241 子類 圖表 and Icon
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 447-447 子類 ComputerTouchscreenKeyboard and Icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13251-13251 子類 旗 and Icon
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2998-2998 子類 資料夾 and Icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13284-13284 子類 地圖 and Icon
No TPTP formula. May not be expressible in strict first order. Merge.kif 15868-15868 子類 代表性的藝術作品 and Icon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29521-29521 子類 TradingCard and Icon
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 842-842 子類 UIElement and Icon
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1181-1181 子類 UserDirectAction and Icon
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 and Icon

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