|
|
  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 | DevelopedCountry est une instance de UNEconomicDevelopmentLevel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 128-128 | conventionalLongName "Developed Country" and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 130-130 | conventionalShortName "the North" and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 146-146 | economyType Andorra and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 147-147 | economyType Australia and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 148-148 | economyType Austria and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 149-149 | economyType Belgium and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 150-150 | economyType Bermuda and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 151-151 | economyType Canada and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 152-152 | economyType Denmark and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 153-153 | economyType FaroeIslands and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 154-154 | economyType Finland and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 155-155 | economyType France and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 156-156 | economyType Germany and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 157-157 | economyType Greece and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 158-158 | economyType HolySee and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 159-159 | economyType Iceland and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 160-160 | economyType Ireland and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 161-161 | economyType Israel and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 162-162 | economyType Italy and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 163-163 | economyType Japan and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 164-164 | economyType Liechtenstein and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 165-165 | economyType Luxembourg and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 166-166 | economyType Malta and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 167-167 | economyType Mexico and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 168-168 | economyType Monaco and DevelopedCountry |
| 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 | cardinality la classe correspondant � DevelopedCountry and 35 |
|
|
|
