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 4724-4726
(domain flagImage 1 GeopoliticalArea) Government.kif 4721-4721 The number 1 argument of flag image is an instance of geopolitical area
(domain flagImage 2 SymbolicString) Government.kif 4722-4722 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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 83/ Dannebrog.jpg/ 250px-Dannebrog.jpg" is a URL depicting flag image
(instance flagImage BinaryPredicate) Government.kif 4720-4720 flag image is an instance of binary predicate

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


(format EnglishLanguage flagImage "%2 is %n a flag image of %1") domainEnglishFormat.kif 269-269
(termFormat EnglishLanguage flagImage "flag image") domainEnglishFormat.kif 4446-4446 "flag image" is the printable form of flag image in english language


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