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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Icon
Icon(icone)
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 1376-1379
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 6621-6621
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7091-7091
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 7094-7094
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 7103-7103
No TPTP formula. May not be expressible in strict first order. Merge.kif 1374-1374 Icone est une sous-classe de ContentBearingPhysical

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1393-1393 Expression linguistique est disjoint de icone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14619-14619 ArrowIcon est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14568-14568 Blueprint est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14580-14580 Chart est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 447-447 ComputerTouchscreenKeyboard est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14590-14590 Flag est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2998-2998 FolderIcon est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14623-14623 Map est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. Merge.kif 16003-16003 RepresentationalArtWork est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31442-31442 TradingCard est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 842-842 UIElement est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1181-1181 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 836-836 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. english_format.kif 874-874 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. french_format.kif 512-512 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 44-44 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. terms-it.txt 47-47 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2197-2197 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 464-464 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 79-79 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. terms-de.txt 338-338 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 533-533 UserDirectAction est une sous-classe de icone
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 48-48 UserDirectAction est une sous-classe de icone

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1328-1328 Le nombre 2 argument de brandIcon est une instance de icone

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