![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
SerbiaAndMontenegro
|
|
|
| appearance as argument number 1 |
|
|
| (geographicSubregion SerbiaAndMontenegro SoutheasternEurope) | CountriesAndRegions.kif 384-384 | Serbia and montenegro is a geographic subregion of southeastern europe |
| (instance SerbiaAndMontenegro Nation) | CountriesAndRegions.kif 385-385 | Serbia and montenegro is an instance of nation |
| (documentation SerbiaAndMontenegro EnglishLanguage "The Nation of SerbiaAndMontenegro.") | CountriesAndRegions.kif 1342-1342 | Serbia and montenegro is an instance of nation |
| (externalImage SerbiaAndMontenegro "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ S/ Serbia_and_Montenegro.png") | pictureList.kif 720-720 | Serbia and montenegro is an instance of nation |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState)))) |
Media.kif 2493-2497 | X is an instance of the day 3 of month the month June and serbia and montenegro is not an instance of independent state holds during after X |