remove improper use of AsymmetricRelation

Geography.kif

@@ -972,7 +972,6 @@ states or agents claim the same area, that area is a 'disputed
 territory'.")
 
 (instance maritimeClaimType BinaryPredicate)
-(instance maritimeClaimType AsymmetricRelation)
 (domain maritimeClaimType 1 GeopoliticalArea)
 (domainSubclass maritimeClaimType 2 MaritimeClaimArea)
 
@@ -1603,7 +1602,6 @@ which the temperature rises to 10 degrees Celsius or above.")
   (holdsDuring ?TIME (greaterThan 10.0 ?TEMP)))
 
 (instance rainySeasonInArea BinaryPredicate)
-(instance rainySeasonInArea AsymmetricRelation)
 (domain rainySeasonInArea 1 GeographicArea)
 (domainSubclass rainySeasonInArea 2 TimeInterval)
 
@@ -1613,7 +1611,6 @@ during the &%TimeInterval ?INTERVAL.  For example, (&%rainySeasonInArea
 &%Angola (&%RecurringTimeIntervalFn &%November &%April)).")
 
 (instance warmSeasonInArea BinaryPredicate)
-(instance warmSeasonInArea AsymmetricRelation)
 (domain warmSeasonInArea 1 GeographicArea)
 (domainSubclass warmSeasonInArea 2 TimeInterval)
 
@@ -1622,7 +1619,6 @@ means that in the &%GeographicArea ?AREA, the warm season occurs
 during the &%TimeInterval ?INTERVAL.")
 
 (instance drySeasonInArea BinaryPredicate)
-(instance drySeasonInArea AsymmetricRelation)
 (domain drySeasonInArea 1 GeographicArea)
 (domainSubclass drySeasonInArea 2 TimeInterval)
 
@@ -1632,7 +1628,6 @@ during the &%TimeInterval ?INTERVAL.  For example, (&%drySeasonInArea
 &%Angola (&%RecurringTimeIntervalFn &%May &%October)).")
 
 (instance coolSeasonInArea BinaryPredicate)
-(instance coolSeasonInArea AsymmetricRelation)
 
 (domain coolSeasonInArea 1 GeographicArea)
 (domainSubclass coolSeasonInArea 2 TimeInterval)
@@ -1643,7 +1638,6 @@ during the &%TimeInterval ?INTERVAL.  For example, (&%coolSeasonInArea
 &%Angola (&%RecurringTimeIntervalFn &%May &%October")
 
 (instance hotSeasonInArea BinaryPredicate)
-(instance hotSeasonInArea AsymmetricRelation)
 (domain hotSeasonInArea 1 GeographicArea)
 (domainSubclass hotSeasonInArea 2 TimeInterval)
 
@@ -1653,7 +1647,6 @@ during the &%TimeInterval ?INTERVAL.  For example, (&%hotSeasonInArea
 &%Angola (&%RecurringTimeIntervalFn &%November &%April)).")
 
 (instance coldSeasonInArea BinaryPredicate)
-(instance coldSeasonInArea AsymmetricRelation)
 (domain coldSeasonInArea 1 GeographicArea)
 (domainSubclass coldSeasonInArea 2 TimeInterval)
 
@@ -6180,7 +6173,6 @@ the &%Shoreline where the &%GeographicArea ?LAND borders the
 ;;   H. Vegetation and biomes
 
 (instance vegetationType BinaryPredicate)
-(instance vegetationType AsymmetricRelation)
 
 (documentation vegetationType EnglishLanguage "(&%vegetationType ?area ?type) associates 
 a particular &%GeographicArea with a type of &%Plant that is found there.")

Government.kif

@@ -657,7 +657,6 @@ government is encoded.")
       (containsInformation ?DOC ?CONST))))
 
 (instance agreementAdoptionDate BinaryPredicate)
-(instance agreementAdoptionDate AsymmetricRelation)
 (instance agreementAdoptionDate PartialValuedRelation)
 (domain agreementAdoptionDate 1 Proposition)
 (domainSubclass agreementAdoptionDate 2 TimePosition)
@@ -717,7 +716,6 @@ part ?CHANGE.  Revisions cover additions and removals.")
             (not (subProposition ?CHANGE ?AGR))))))))
 
 (instance agreementEffectiveDuring BinaryPredicate)
-(instance agreementEffectiveDuring AsymmetricRelation)
 (instance agreementEffectiveDuring PartialValuedRelation)
 (domain agreementEffectiveDuring 1 Proposition)
 (domainSubclass agreementEffectiveDuring 2 TimePosition)

Merge.kif

@@ -330,7 +330,6 @@ relation ?REL must be a subclass of ?CLASS.")
       (subclass ?CLASS2 ?CLASS1)))
 
 (instance rangeSubclass BinaryPredicate)
-(instance rangeSubclass AsymmetricRelation)
 (domain rangeSubclass 1 Function)
 (domainSubclass rangeSubclass 2 Class)
 (documentation rangeSubclass EnglishLanguage "(&%rangeSubclass ?FUNCTION ?CLASS) means
@@ -3977,7 +3976,6 @@ argument position of this &%Predicate.")
       (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))
 
 (instance hasSkill BinaryPredicate)
-(instance hasSkill AsymmetricRelation)
 (domainSubclass hasSkill 1 Process)
 (domain hasSkill 2 AutonomousAgent)
 
@@ -4363,7 +4361,6 @@ between instances.")
               (eventLocated ?INST2 ?PLACE))))))))
 
 (instance prevents BinaryPredicate)
-(instance prevents IrreflexiveRelation)
 (instance prevents PartialValuedRelation)
 (domain prevents 1 Process)
 (domainSubclass prevents 2 Process)
@@ -4387,7 +4384,6 @@ this relation and &%preventsSubclass, which is relating classes and not instance
           (eventLocated ?Y ?L))))))
 
 (instance hinders BinaryPredicate)
-(instance hinders IrreflexiveRelation)
 (instance hinders PartialValuedRelation)
 (domain hinders 1 Process)
 (domainSubclass hinders 2 Process)
@@ -13813,7 +13809,6 @@ of &%part of the &%patient of the &%Process changes.")
          (holdsDuring (EndFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE2)))))
 
 (instance atomicNumber BinaryPredicate)
-(instance atomicNumber AsymmetricRelation)
 (instance atomicNumber PartialValuedRelation)
 (domainSubclass atomicNumber 1 ElementalSubstance)
 (domain atomicNumber 2 PositiveInteger)
@@ -15498,7 +15493,6 @@ may be explicit or implicit), and it expresses a &%Proposition.")
             (containsInformation ?SENT ?PROP))))
 
 (instance authors BinaryPredicate)
-(instance authors AsymmetricRelation)
 (domain authors 1 AutonomousAgent)
 (domainSubclass authors 2 ContentBearingObject)
 
@@ -15518,7 +15512,6 @@ Murder_on_the_Orient_Express.")
                (result ?PROCESS ?INSTANCE))))
 
 (instance editor BinaryPredicate)
-(instance editor AsymmetricRelation)
 (domain editor 1 AutonomousAgent)
 (domainSubclass editor 2 Text)
 
@@ -15528,7 +15521,6 @@ means that ?AGENT is an editor of the content contained (or realized)
 in all instances of ?TEXTCLASS.")
 
 (instance publishes BinaryPredicate)
-(instance publishes AsymmetricRelation)
 (domain publishes 1 Organization)
 (domainSubclass publishes 2 Text)
 

Mid-level-ontology.kif

@@ -30080,7 +30080,7 @@ before ?OBJ2 on the path ?PATH with respect to a particular &%Transfer &%Process
 
 (=>
   (orientation ?O1 ?O2 Downwind)
-  (exists (?W ?L ?P)
+  (exists (?W ?T ?P)
     (and
       (instance ?W Wind)
       (path ?T ?P)
@@ -32018,7 +32018,6 @@ have a lesser status, such as British Crown colonies, U.S. territories,
 or protectorates.  See &%geopoliticalSubdivision.")
 
 (instance primaryGeopoliticalSubdivisionType BinaryPredicate)
-(instance primaryGeopoliticalSubdivisionType AsymmetricRelation)
 (domain primaryGeopoliticalSubdivisionType 1 GeopoliticalArea)
 (domainSubclass primaryGeopoliticalSubdivisionType 2 GeopoliticalArea)
 

engineering.kif

@@ -59,7 +59,6 @@
 (documentation models EnglishLanguage "A relation signaling that certain model is
 convenient for modeling of certain class of devices.")
 (instance models BinaryPredicate)
-(instance models AsymmetricRelation)
 (domain models 1 Model)
 (domainSubclass models 2 EngineeringComponent)
 (format EnglishLanguage models "%1 can be used as a model for %2")