Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CourtRoom
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BritishCrownColony OverseasArea) | Government.kif 483-483 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2e/ City_Hall_in_Hamilton%2C_Bermuda.jpg") | pictureList.kif 6202-6202 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3a/ Bermuda_Harbour_and_Town_of_St_George.jpg") | pictureList.kif 6203-6203 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3d/ Bermuda_Stewart_Hall.jpg") | pictureList.kif 6204-6204 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Bermuda_The_State_House.jpg") | pictureList.kif 6205-6205 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 50/ Aerial_photo_Port_Stanley.jpg") | pictureList.kif 6206-6206 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5b/ 02_Last_view_of_Jamestown_St_Helena_June1970.jpg") | pictureList.kif 6207-6207 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 73/ Montserrat_volcano.jpg") | pictureList.kif 6208-6208 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8a/ BAT_map.jpg") | pictureList.kif 6209-6209 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ a/ ae/ Sandy_Ground_Anguilla.jpg") | pictureList.kif 6210-6210 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ f/ f4/ Diegogarcia.jpg") | pictureList.kif 6211-6211 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ en/ 2/ 2e/ St_George%27s_Harbour_-_Bermuda_composite.jpg") | pictureList.kif 6212-6212 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ en/ 4/ 46/ Callan_Glen_Coast_-_Bermuda.jpg") | pictureList.kif 6214-6214 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9d/ Location_of_the_BOTs.png") | pictureList.kif 6217-6217 | British crown colony is a subclass of overseas area |
| (externalImage BritishCrownColony "http://upload.wikimedia.org/wikipedia/ commons/ d/ d9/ Flag_of_the_British_Antarctic_Territory.png") | pictureList.kif 6218-6218 | British crown colony is a subclass of overseas area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?AREA BritishCrownColony) (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony)) |
Government.kif 485-487 | If X is an instance of british crown colony, then X dependent area of type united kingdom for british crown colony |
| consequent |
|
|
| (=> (instance ?AREA BritishCrownColony) (dependentAreaOfType ?AREA UnitedKingdom BritishCrownColony)) |
Government.kif 485-487 | If X is an instance of british crown colony, then X dependent area of type united kingdom for british crown colony |
|
