|
|
  Montenegro
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2531-2535 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2529-2529 | Montenegro is a geographic subregion of serbia and montenegro |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2513-2513 | Montenegro is an instance of geopolitical area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2530-2530 | Serbia meets Montenegro |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2739-2739 | "ME" in ISO-3166-1-alpha-2 denotes Montenegro |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2519-2522 | A time position is an instance of the day 3 and Montenegro is an instance of european nation holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2514-2517 | A time position is an instance of the day 3 and Montenegro is an instance of independent state holds during after the time position |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2524-2527 | A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position |
|
|
|