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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DevelopedCountry
DevelopedCountry(developed country)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 132-142
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5960-5960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6380-6380
No TPTP formula. May not be expressible in strict first order. Economy.kif 126-126 Developed country is an instance of UN economic development level

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 128-128 Developed country is a conventional long name of "Developed Country"
No TPTP formula. May not be expressible in strict first order. Economy.kif 130-130 Developed country is a conventional short name of "the North"
No TPTP formula. May not be expressible in strict first order. Economy.kif 146-146 Developed country is an economy type of andorra
No TPTP formula. May not be expressible in strict first order. Economy.kif 147-147 Developed country is an economy type of australia
No TPTP formula. May not be expressible in strict first order. Economy.kif 148-148 Developed country is an economy type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 149-149 Developed country is an economy type of belgium
No TPTP formula. May not be expressible in strict first order. Economy.kif 150-150 Developed country is an economy type of bermuda
No TPTP formula. May not be expressible in strict first order. Economy.kif 151-151 Developed country is an economy type of canada
No TPTP formula. May not be expressible in strict first order. Economy.kif 152-152 Developed country is an economy type of denmark
No TPTP formula. May not be expressible in strict first order. Economy.kif 153-153 Developed country is an economy type of faroe islands
No TPTP formula. May not be expressible in strict first order. Economy.kif 154-154 Developed country is an economy type of finland
No TPTP formula. May not be expressible in strict first order. Economy.kif 155-155 Developed country is an economy type of france
No TPTP formula. May not be expressible in strict first order. Economy.kif 156-156 Developed country is an economy type of germany
No TPTP formula. May not be expressible in strict first order. Economy.kif 157-157 Developed country is an economy type of greece
No TPTP formula. May not be expressible in strict first order. Economy.kif 158-158 Developed country is an economy type of holy see
No TPTP formula. May not be expressible in strict first order. Economy.kif 159-159 Developed country is an economy type of iceland
No TPTP formula. May not be expressible in strict first order. Economy.kif 160-160 Developed country is an economy type of ireland
No TPTP formula. May not be expressible in strict first order. Economy.kif 161-161 Developed country is an economy type of israel
No TPTP formula. May not be expressible in strict first order. Economy.kif 162-162 Developed country is an economy type of italy
No TPTP formula. May not be expressible in strict first order. Economy.kif 163-163 Developed country is an economy type of japan
No TPTP formula. May not be expressible in strict first order. Economy.kif 164-164 Developed country is an economy type of liechtenstein
No TPTP formula. May not be expressible in strict first order. Economy.kif 165-165 Developed country is an economy type of luxembourg
No TPTP formula. May not be expressible in strict first order. Economy.kif 166-166 Developed country is an economy type of malta
No TPTP formula. May not be expressible in strict first order. Economy.kif 167-167 Developed country is an economy type of mexico
No TPTP formula. May not be expressible in strict first order. Economy.kif 168-168 Developed country is an economy type of monaco

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 506-510
No TPTP formula. May not be expressible in strict first order. Economy.kif 743-745

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 144-144 35 is a cardinality of the class corresponding to developed country


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