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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - flagImage
flagImage

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


(documentation flagImage EnglishLanguage "(flagImage ?AREA ?POINTER) means that an image of the flag of the GeopoliticalArea ?AREA is found at the location given in the SymbolicString ?POINTER.") Government.kif 4719-4721
(domain flagImage 1 GeopoliticalArea) Government.kif 4716-4716 The number 1 argument of flag image is an instance of geopolitical area
(domain flagImage 2 SymbolicString) Government.kif 4717-4717 The number 2 argument of flag image is an instance of symbolic string
(externalImage flagImage "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 83/ Dannebrog.jpg/ 250px-Dannebrog.jpg") pictureList.kif 1117-1117
(instance flagImage BinaryPredicate) Government.kif 4715-4715 flag image is an instance of binary predicate

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


(format ChineseLanguage flagImage "%2 %n 是 %1 的 flag 图像") domainEnglishFormat.kif 1045-1045
(format ChineseTraditionalLanguage flagImage "%2 %n 是 %1 的 flag 圖像") domainEnglishFormat.kif 1044-1044
(format EnglishLanguage flagImage "%2 is %n a flag image of %1") domainEnglishFormat.kif 1043-1043
(termFormat ChineseLanguage flagImage "国旗图像") domainEnglishFormat.kif 24073-24073
(termFormat ChineseTraditionalLanguage flagImage "國旗圖像") domainEnglishFormat.kif 24072-24072
(termFormat EnglishLanguage flagImage "flag image") domainEnglishFormat.kif 24071-24071


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners