52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze%prefix( : <http://www.example.org/SUMO#>
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze log: <http://purl.net/dol/logics/>
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze ser: <http://purl.net/dol/serializations/> )%
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulzedistributed-ontology SUMO
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulzelogic CommonLogic serialization KIF
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulzeontology Merge =
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (instance instance BinaryPredicate)
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (domain instance 1 Entity)
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (domain instance 2 SetOrClass)
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (=>
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (immediateInstance ?ENTITY ?CLASS)
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (not (exists (?SUBCLASS)
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (and
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (subclass ?SUBCLASS ?CLASS)
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (not (equal ?SUBCLASS ?CLASS))
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (instance ?ENTITY ?SUBCLASS)))))
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulzeend
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulzeontology Test2 =
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulze (/= 1 2)
52c81e62d4a3797b926fb3392369b45a9fef336cSoeren D. Schulzeend