Sigma KB Term Intersection

(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 6191-6199	Wenn vegetationType GeographicArea and Plant und Plant ist eine teilkategorie von Plant und GeographicArea ist ein fall von GeographicArea %n{nicht}, dann es gibt Physical um Physical ist ein fall von Plant %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))))	Geography.kif 6201-6209	Wenn vegetationType GeographicArea and Plant und Plant ist eine teilkategorie von Plant und GeographicArea ist ein fall von GeographicArea %n{nicht}, dann es gibt nicht Physical um Physical ist ein fall von Plant %n{nicht} und ** Physical befindet sich an %n{nicht}