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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIMEINT))
Catalog.kif 136-145
(=>
    (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 780-801
(=>
    (and
        (subclass ?TYPE Process)
        (instance ?EVENT ?TYPE)
        (eventLocated ?EVENT ?REGION)
        (instance ?ROLE CaseRole)
        (instance ?OBJECT Object)
        (instance ?REGION GeographicArea)
        (?ROLE ?EVENT ?OBJECT))
    (capableAtLocation ?TYPE ?ROLE ?OBJECT ?PLACE))
Transportation.kif 2605-2614
(=>
    (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 276-287
(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ)
            (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 15642-15663
(=>
    (instance ?T Truck)
    (exists (?L)
        (and
            (subclass ?L Object)
            (cargoType ?T ?L))))
Transportation.kif 1956-1961
(=>
    (and
        (lengthLimit ?ROBOT ?LENGTHLIMIT)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (or
            (and
                (defaultMaximumLength ?OBJECT ?LENGTH)
                (defaultMaximumWidth ?OBJECT ?WIDTH)
                (defaultMaximumHeight ?OBJECT ?HEIGHT))
            (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 ?RADIUS)
                (greaterThan
                    (MultiplicationFn ?RADIUS 2)
                    (MultiplicationFn ?LENGTHLIMIT .5)))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))
Robot.kif 54-78
(=>
    (and
        (instance ?ROBOT CarryBot)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (widthLimit ?ROBOT ?WIDTHLIMIT)
        (or
            (and
                (defaultMaximumLength ?OBJECT ?LENGTH)
                (defaultMaximumWidth ?OBJECT ?WIDTH)
                (defaultMaximumHeight ?OBJECT ?HEIGHT)
                (greaterThan ?LENGTH ?WIDTHLIMIT)
                (greaterThan ?WIDTH ?WIDTHLIMIT)
                (greaterThan ?HEIGHT ?WIDTHLIMIT))
            (and
                (defaultMaximumSphereRadius ?OBJECT ?RADIUS)
                (greaterThan
                    (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))
Robot.kif 27-45
(=>
    (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 97-106
(=>
    (and
        (massLimit ?ROBOT ?MASSLIMIT)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (instance ?UNITOFMASS UnitOfMass)
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?NUM ?UNITOFMASS))
        (greaterThan ?NUM ?MASSLIMIT))
    (not
        (canCarry ?ROBOT ?INSTANCE)))
Robot.kif 86-95
(=>
    (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
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 289-308
(=>
    (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 ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 333-348
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Object)
        (instance ?X ?PHYS))
    (confersRight
        (exists (?PROC)
            (and
                (instance ?PROC Process)
                (or
                    (resource ?PROC ?X)
                    (instrument ?PROC ?X)
                    (patient ?PROC ?X))
                (or
                    (agent ?PROC ?CUST)
                    (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 477-493
(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (=>
        (and
            (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 ?O)
                (patient ?P ?O)
                (instrument ?P ?O)
                (resource ?P ?O)))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))
Hotel.kif 372-392
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Object))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA))))
Geography.kif 2206-2213
(subclass Object Physical) Merge.kif 871-871 Object is a subclass of physical
(subclass SphericalObject Object) ComputerInput.kif 173-173 SphericalObject is a subclass of object
(subclass Magnet Object) Cars.kif 3873-3873 Magnet is a subclass of object
(subclass TwoDimensionalObject Object) Mid-level-ontology.kif 5112-5112 Two dimensional object is a subclass of object
(subclass TransitwayObstacle Object) Mid-level-ontology.kif 12646-12646 Transitway obstacle is a subclass of object
(subclass PreparedFood Object) Mid-level-ontology.kif 18727-18727 Food is a subclass of object
(subclass ContactSite Object) Mid-level-ontology.kif 21899-21899 ContactSite is a subclass of object
(subclass SelfConnectedObject Object) Merge.kif 883-883 Self connected object is a subclass of object
(subclass Region Object) Merge.kif 1260-1260 Region is a subclass of object
(subclass Collection Object) Merge.kif 1277-1277 Collection is a subclass of object
(subclass Agent Object) Merge.kif 1545-1545 Agent is a subclass of object
(subclass AstronomicalBody Object) Merge.kif 13880-13880 Astronomical body is a subclass of object
(subclass Artifact Object) Merge.kif 15672-15672 Artifact is a subclass of object


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners