1 files changed, 0 insertions, 208 deletions
diff --git a/examples/SUMO/axioms/MergeHiO.gft b/examples/SUMO/axioms/MergeHiO.gft
deleted file mode 100644
index 885a30fe9..000000000
--- a/examples/SUMO/axioms/MergeHiO.gft
+++ /dev/null
@@ -1,208 +0,0 @@
-
-EquivalenceRelation ? (\x,y -> equal x y)
-
-SymmetricRelation ? (\x,y -> disjoint x y)
-
-EquivalenceRelation ? (\x,y -> relatedInternalConcept x y)
-
-PartialOrderingRelation ? (\x,y -> subAttribute x y)
-
-AsymmetricRelation ? (\x,y -> successorAttribute x y)
-
-TransitiveRelation ? (\x,y -> successorAttributeClosure x y)
-
-IrreflexiveRelation ? (\x,y -> successorAttributeClosure x y)
-
-PartialOrderingRelation ? (\x,y -> part x y)
-
-AsymmetricRelation ? (\x,y -> properPart x y)
-
-TransitiveRelation ? (\x,y -> properPart x y)
-
-PartialOrderingRelation ? (\x,y -> subCollection x y)
-
-TransitiveRelation ? (\x,y -> lessThan x y)
-
-IrreflexiveRelation ? (\x,y -> lessThan x y)
-
-TransitiveRelation ? (\x,y -> greaterThan x y)
-
-IrreflexiveRelation ? (\x,y -> greaterThan x y)
-
-PartialOrderingRelation ? (\x,y -> lessThanOrEqualTo x y)
-
-PartialOrderingRelation ? (\x,y -> greaterThanOrEqualTo x y)
-
-IntentionalRelation ? ? (\x,y -> inScopeOfInterest x y)
-
-ObjectAttitude ? ? (\x,y -> needs x y)
-
-ObjectAttitude ? ? (\x,y -> wants x y)
-
-PartialOrderingRelation ? (\x,y -> subList x y)
-
-EquivalenceRelation ? (\x,y -> identicalListItems x y)
-
-SymmetricRelation ? (\x,y -> relatedEvent x y)
-
-AsymmetricRelation ? (\x,y -> causes x y)
-
-EquivalenceRelation ? (\x,y -> copy x y)
-
-AsymmetricRelation ? (\x,y -> crosses x y)
-
-TransitiveRelation ? (\x,y -> crosses x y)
-
-AsymmetricRelation ? (\x,y -> penetrates x y)
-
-IntransitiveRelation ? (\x,y -> penetrates x y)
-
-EquivalenceRelation ? (\x,y -> equivalentContentInstance x y)
-
-PartialOrderingRelation ? (\x,y -> subsumesContentInstance x y)
-
-TransitiveRelation ? (\x,y -> subProposition x y)
-
-IrreflexiveRelation ? (\x,y -> subProposition x y)
-
-TransitiveRelation ? (\x,y -> subPlan x y)
-
-IrreflexiveRelation ? (\x,y -> subPlan x y)
-
-AssociativeFunction ? (\x,y -> MultiplicationFn x y)
-
-CommutativeFunction ? ? (\x,y -> MultiplicationFn x y)
-
-AssociativeFunction ? (\x,y -> AdditionFn x y)
-
-CommutativeFunction ? ? (\x,y -> AdditionFn x y)
-
-AssociativeFunction ? (\x,y -> SubtractionFn x y)
-
-AssociativeFunction ? (\x,y -> DivisionFn x y)
-
-TransitiveRelation ? (\x,y -> multiplicativeFactor x y)
-
-AssociativeFunction ? (\x,y -> MaxFn x y)
-
-CommutativeFunction ? ? (\x,y -> MaxFn x y)
-
-AssociativeFunction ? (\x,y -> MinFn x y)
-
-CommutativeFunction ? ? (\x,y -> MinFn x y)
-
-ReflexiveRelation ? (\x,y -> subGraph x y)
-
-TransitiveRelation ? (\x,y -> subGraph x y)
-
-TransitiveRelation ? (\x,y -> larger x y)
-
-IrreflexiveRelation ? (\x,y -> larger x y)
-
-TransitiveRelation ? (\x,y -> smaller x y)
-
-IrreflexiveRelation ? (\x,y -> smaller x y)
-
-PartialOrderingRelation ? (\x,y -> temporalPart x y)
-
-TransitiveRelation ? (\x,y -> starts x y)
-
-IrreflexiveRelation ? (\x,y -> starts x y)
-
-TransitiveRelation ? (\x,y -> finishes x y)
-
-IrreflexiveRelation ? (\x,y -> finishes x y)
-
-IrreflexiveRelation ? (\x,y -> before x y)
-
-TransitiveRelation ? (\x,y -> before x y)
-
-PartialOrderingRelation ? (\x,y -> beforeOrEqual x y)
-
-ReflexiveRelation ? (\x,y -> overlapsTemporally x y)
-
-SymmetricRelation ? (\x,y -> overlapsTemporally x y)
-
-TransitiveRelation ? (\x,y -> during x y)
-
-IrreflexiveRelation ? (\x,y -> during x y)
-
-AsymmetricRelation ? (\x,y -> meetsTemporally x y)
-
-IntransitiveRelation ? (\x,y -> meetsTemporally x y)
-
-TransitiveRelation ? (\x,y -> earlier x y)
-
-IrreflexiveRelation ? (\x,y -> earlier x y)
-
-EquivalenceRelation ? (\x,y -> cooccur x y)
-
-ReflexiveRelation ? (\x,y -> connected x y)
-
-SymmetricRelation ? (\x,y -> connected x y)
-
-IrreflexiveRelation ? (\x,y -> meetsSpatially x y)
-
-SymmetricRelation ? (\x,y -> meetsSpatially x y)
-
-ReflexiveRelation ? (\x,y -> overlapsSpatially x y)
-
-SymmetricRelation ? (\x,y -> overlapsSpatially x y)
-
-SymmetricRelation ? (\x,y -> overlapsPartially x y)
-
-IrreflexiveRelation ? (\x,y -> overlapsPartially x y)
-
-IrreflexiveRelation ? (\x,y -> superficialPart x y)
-
-TransitiveRelation ? (\x,y -> superficialPart x y)
-
-AsymmetricRelation ? (\x,y -> surface x y)
-
-AsymmetricRelation ? (\x,y -> interiorPart x y)
-
-TransitiveRelation ? (\x,y -> interiorPart x y)
-
-PartialOrderingRelation ? (\x,y -> subProcess x y)
-
-TransitiveRelation ? (\x,y -> geographicSubregion x y)
-
-AsymmetricRelation ? (\x,y -> geographicSubregion x y)
-
-AsymmetricRelation ? (\x,y -> geopoliticalSubdivision x y)
-
-TransitiveRelation ? (\x,y -> geopoliticalSubdivision x y)
-
-SymmetricRelation ? (\x,y -> connectedEngineeringComponents x y)
-
-IrreflexiveRelation ? (\x,y -> connectedEngineeringComponents x y)
-
-SymmetricRelation ? (\x,y -> relative x y)
-
-EquivalenceRelation ? (\x,y -> familyRelation x y)
-
-TransitiveRelation ? (\x,y -> ancestor x y)
-
-IrreflexiveRelation ? (\x,y -> ancestor x y)
-
-AsymmetricRelation ? (\x,y -> parent x y)
-
-IntransitiveRelation ? (\x,y -> parent x y)
-
-SymmetricRelation ? (\x,y -> sibling x y)
-
-IrreflexiveRelation ? (\x,y -> sibling x y)
-
-SymmetricRelation ? (\x,y -> legalRelation x y)
-
-SymmetricRelation ? (\x,y -> mutualAcquaintance x y)
-
-IrreflexiveRelation ? (\x,y -> spouse x y)
-
-SymmetricRelation ? (\x,y -> spouse x y)
-
-PartialOrderingRelation ? (\x,y -> subOrganization x y)
-
-SymmetricRelation ? (\x,y -> consistent x y)
-
-PartialOrderingRelation ? (\x,y -> geometricPart x y)