consequent

(=>     (and         (instance ?SEA Ocean)         (not             (equal ?SEA ArcticOcean)))     (smaller ArcticOcean ?SEA))	Geography.kif 6185-6189	If X is an instance of ocean and equal X and arctic ocean, then arctic ocean is smaller than X
(=>     (and         (instance ?C Creek)         (instance ?R River))     (smaller ?C ?R))	Geography.kif 7278-7282	If X is an instance of creek and Y is an instance of river, then X is smaller than Y
(=>     (and         (instance ?LAKE Lake)         (instance ?OCEAN Ocean))     (smaller ?LAKE ?OCEAN))	Geography.kif 7333-7337	If X is an instance of lake and Y is an instance of ocean, then X is smaller than Y
(=>     (and         (instance ?VIRUS1 FootAndMouthVirus)         (instance ?VIRUS2 YellowFeverVirus))     (smaller ?VIRUS1 ?VIRUS2))	WMD.kif 1185-1189	If X is an instance of foot and mouth virus and Y is an instance of yellow fever virus, then X is smaller than Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)