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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Flag

 Sigma KEE - Flag
Flag(flag)
American_flag, Old_Glory, Star-Spangled_Banner, Stars_and_Stripes, flag

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13251-13252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 436-436
No TPTP formula. May not be expressible in strict first order. pictureList.kif 94-94
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13250-13250 Flag is a subclass of icon

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13261-13261 National flag is a subclass of flag
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24134-24134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24133-24133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24132-24132

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13254-13259


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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