Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - rents
rents

appearance as argument number 1
-------------------------


(documentation rents EnglishLanguage "(rents ?CUST ?AGENT ?OBJ ?TI) means that for TimeInterval ?TI, CognitiveAgent ?CUST is Renting Object ?OBJ from CognitiveAgent ?AGENT") Mid-level-ontology.kif 31075-31077
(domain rents 1 AutonomousAgent) Mid-level-ontology.kif 31084-31084 The number 1 argument of rents is an instance of agent
(domain rents 2 AutonomousAgent) Mid-level-ontology.kif 31085-31085 The number 2 argument of rents is an instance of agent
(domain rents 3 Object) Mid-level-ontology.kif 31086-31086 The number 3 argument of rents is an instance of object
(domain rents 4 TimeInterval) Mid-level-ontology.kif 31087-31087 The number 4 argument of rents is an instance of time interval
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 31074-31074 rents is an instance of quaternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage rents "%2 rents %3 给 %1 在其间 %4 ") domainEnglishFormat.kif 4390-4390
(format ChineseTraditionalLanguage rents "%2 rents %3 給 %1 在其間 %4 ") domainEnglishFormat.kif 4389-4389
(format EnglishLanguage rents "%2 rents %3 to %1 during %4") domainEnglishFormat.kif 4388-4388
(termFormat EnglishLanguage rents "rents") Mid-level-ontology.kif 31078-31078

antecedent
-------------------------


(=>
    (and
        (rents ?GUEST ?HOTEL ?ROOM ?TI)
        (attribute ?HOTEL TravelerAccommodation)
        (instance ?ROOM HotelUnit))
    (holdsDuring ?TI
        (guest ?GUEST ?HOTEL)))
Hotel.kif 69-75
(=>
    (rents ?CUST ?AGENT ?OBJ ?TI)
    (holdsDuring ?TI
        (exists (?RENT)
            (and
                (instance ?RENT Renting)
                (patient ?RENT ?OBJ)
                (agent ?RENT ?CUST)
                (possesses ?AGENT ?OBJ)))))
Mid-level-ontology.kif 31089-31097

consequent
-------------------------


(=>
    (attribute ?X TravelerAccommodation)
    (hasPurpose ?X
        (exists (?GUEST ?ROOM ?TI)
            (and
                (rents ?GUEST ?X ?ROOM ?TI)
                (instance ?ROOM HotelUnit)
                (element ?ROOM
                    (PropertyFn ?X))))))
Hotel.kif 45-52
(=>
    (instance ?ROOM HotelUnit)
    (hasPurpose ?ROOM
        (exists (?AGENT ?CUST ?TI)
            (and
                (not
                    (equal ?AGENT ?CUST))
                (element ?ROOM
                    (PropertyFn ?AGENT))
                (rents ?CUST ?AGENT ?ROOM ?TI)))))
Hotel.kif 110-117


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners