DevelopedCountry
|
|
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 |