Term Intersection : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


Term 1: Term 2:

(=>
    (and
        (functionRoomAmenity ?FR ?PHY)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?HOTEL))
        (instance ?RENT Renting)
        (patient ?RENT ?RM)
        (agent ?RENT ?HOTEL)
        (destination ?RENT ?CUST)
        (subclass ?PHY Object))
    (modalAttribute
        (exists (?O ?P)
            (and
                (instance ?O ?PHY)
                (instance ?P Process)
                (or
                    (resource ?P ?O)
                    (instrument ?P ?O)
                    (patient ?P ?O))
                (or
                    (agent ?P ?CUST)
                    (experiencer ?P ?CUST)))) Possibility))		 Hotel.kif 815-836
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (exists (?R ?O)
        (and
            (instance ?R
                (DeadFn ?ORG))
            (part ?R ?O)
            (instance ?O ?ORG))))		 Economy.kif 5603-5612
(=>
    (and
        (roomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (forall (?R)
        (=>
            (instance ?R ?ROOM)
            (exists (?O)
                (and
                    (instance ?R ?ROOM)
                    (instance ?O ?OBJ)
                    (located ?O ?R))))))		 Hotel.kif 281-292
(=>
    (and
        (subclass ?TYPE Translocation)
        (instance ?EVENT ?TYPE)
        (eventLocated ?EVENT ?REGION)
        (instance ?ROLE CaseRole)
        (instance ?OBJECT Object)
        (instance ?REGION GeographicArea)
        (capability ?TYPE ?ROLE ?OBJECT))
    (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))		 Transportation.kif 3730-3739
(=>
    (and
        (guest ?CUST ?HOTEL)
        (stays ?CUST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?R ?ROOM)
        (roomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (exists (?O)
        (and
            (instance ?O ?OBJ)
            (located ?O ?R)
            (confersRight ?HOTEL ?CUST
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O))))))))		 Hotel.kif 294-313
(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (located ?P ?R)
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (exists (?PRICE ?U)
        (and
            (price ?O
                (MeasureFn ?PRICE ?U) ?GUEST)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))		 Hotel.kif 396-417
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Object)
        (instance ?X ?PHYS))
    (confersRight ?AGENT ?CUST
        (exists (?PROC)
            (and
                (instance ?PROC Process)
                (or
                    (resource ?PROC ?X)
                    (instrument ?PROC ?X)
                    (patient ?PROC ?X))
                (or
                    (agent ?PROC ?CUST)
                    (experiencer ?PROC ?CUST))))))		 Hotel.kif 504-520
(=>
    (and
        (instance ?ROBOT CarryBot)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (widthLimit ?ROBOT
            (MeasureFn ?WIDTHLIMIT ?UNIT))
        (or
            (and
                (defaultMaximumLength ?OBJECT
                    (MeasureFn ?LENGTH ?UNIT))
                (defaultMaximumWidth ?OBJECT
                    (MeasureFn ?WIDTH ?UNIT))
                (defaultMaximumHeight ?OBJECT
                    (MeasureFn ?HEIGHT ?UNIT))
                (greaterThan ?LENGTH ?WIDTHLIMIT)
                (greaterThan ?WIDTH ?WIDTHLIMIT)
                (greaterThan ?HEIGHT ?WIDTHLIMIT))
            (and
                (defaultMaximumSphereRadius ?OBJECT
                    (MeasureFn ?RADIUS ?UNIT))
                (greaterThan
                    (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 28-52
(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ ?T ?H ?HARM)
            (and
                (instance ?OBJ Object)
                (patient ?X Object)
                (subclass ?HARM
                    (KappaFn ?H
                        (and
                            (or
                                (instance ?H CriminalAction)
                                (instance ?H Damaging))
                            (=>
                                (holdsDuring ?T
                                    (patient ?H ?OBJ))
                                (not
                                    (holdsDuring ?T
                                        (patient ?X ?OBJ)))))))
                (or
                    (prevents ?X ?HARM)
                    (hinders ?X ?HARM))))))		 Mid-level-ontology.kif 20344-20365
(=>
    (instance ?T Truck)
    (exists (?L)
        (and
            (subclass ?L Object)
            (cargoType ?T ?L))))		 Transportation.kif 2174-2179
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))		 Economy.kif 5594-5601
(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Store))
    (exists (?AREA ?OBJ ?O ?SELL)
        (and
            (instance ?AREA GeopoliticalArea)
            (located ?X ?AREA)
            (subclass ?O Object)
            (importCommodityType ?AREA ?O)
            (instance ?OBJ ?O)
            (instance ?SELL Selling)
            (patient ?SELL ?OBJ)
            (located ?SELL ?X))))		 Hotel.kif 1489-1502
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINST ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINST ?OBJ))
    (capability ?PROCESS agent ?AGENT))		 Catalog.kif 98-107
(=>
    (and
        (lengthLimit ?ROBOT
            (MeasureFn ?LENGTHLIMIT ?UNIT))
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (or
            (and
                (defaultMaximumLength ?OBJECT
                    (MeasureFn ?LENGTH ?UNIT))
                (defaultMaximumWidth ?OBJECT
                    (MeasureFn ?WIDTH ?UNIT))
                (defaultMaximumHeight ?OBJECT
                    (MeasureFn ?HEIGHT ?UNIT)))
            (or
                (and
                    (greaterThan ?LENGTH ?LENGTHLIMIT)
                    (greaterThan ?WIDTH ?LENGTHLIMIT))
                (and
                    (greaterThan ?LENGTH ?LENGTHLIMIT)
                    (greaterThan ?HEIGHT ?LENGTHLIMIT))
                (and
                    (greaterThan ?WIDTH ?LENGTHLIMIT)
                    (greaterThan ?HEIGHT ?LENGTHLIMIT)))
            (and
                (defaultMaximumSphereRadius ?OBJECT
                    (MeasureFn ?RADIUS ?UNIT))
                (greaterThan
                    (MultiplicationFn ?RADIUS 2)
                    (DivisionFn ?LENGTHLIMIT 2)))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 61-86
(=>
    (and
        (massLimit ?ROBOT
            (MeasureFn ?MASSLIMIT ?UNITOFMASS))
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (instance ?UNITOFMASS UnitOfMass)
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?NUM ?UNITOFMASS))
        (greaterThan ?NUM ?MASSLIMIT))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 94-103
(=>
    (and
        (freeRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (price ?O
        (MeasureFn 0 UnitedStatesDollar) ?GUEST))		 Hotel.kif 346-361
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIME))		 Catalog.kif 139-150
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Object))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA))))		 Geography.kif 3722-3729
(subclass Object Physical) Merge.kif 838-838
(subclass TornadoDamage Object) Weather.kif 3379-3379
(subclass Shrapnel Object) MilitaryDevices.kif 2253-2253
(subclass Magnet Object) Cars.kif 3942-3942
(subclass TwoDimensionalObject Object) Mid-level-ontology.kif 5299-5299
(subclass TransitwayObstacle Object) Mid-level-ontology.kif 16801-16801
(subclass SphericalObject Object) Mid-level-ontology.kif 27949-27949
(subclass SelfConnectedObject Object) Merge.kif 854-854
(subclass Region Object) Merge.kif 1283-1283
(subclass AutonomousAgent Object) Merge.kif 1586-1586
(subclass AstronomicalBody Object) Merge.kif 14194-14194
(subclass Artifact Object) Merge.kif 15833-15833
(subclass ContactSite Object) Merge.kif 15928-15928


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-d479ed1b (2026-04-11) is open source software produced by Articulate Software and its partners