| Montenegro(Montenegro) | | Crna_Gora, Montenegro |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2540-2544 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2538-2538 | Montenegro is a geographic subregion of serbia and montenegro |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2522-2522 | 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 2539-2539 | Serbia meets Montenegro |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65212-65212 | Serbia meets Montenegro |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2751-2751 | "ME" in ISO_3166_1_alpha_2 denotes Montenegro |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | 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 2523-2526 | 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 2533-2536 | A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position |
|
|
|