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

Formal Language: 



KB Term:  Term intersection
English Word: 

  rents

 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 29975-29977
(domain rents 1 AutonomousAgent) Mid-level-ontology.kif 29984-29984 rents 的 1 数量 是 施事体 的 instance
(domain rents 2 AutonomousAgent) Mid-level-ontology.kif 29985-29985 rents 的 2 数量 是 施事体 的 instance
(domain rents 3 Object) Mid-level-ontology.kif 29986-29986 rents 的 3 数量 是 客体 的 instance
(domain rents 4 TimeInterval) Mid-level-ontology.kif 29987-29987 rents 的 4 数量 是 时距 的 instance
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 29974-29974 rents 是 四元谓语 的 instance

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


(format ChineseLanguage rents "%2 rents %3 给 %1 在其间 %4 ") domainEnglishFormat.kif 4386-4386
(format ChineseTraditionalLanguage rents "%2 rents %3 給 %1 在其間 %4 ") domainEnglishFormat.kif 4385-4385
(format EnglishLanguage rents "%2 rents %3 to %1 during %4") domainEnglishFormat.kif 4384-4384
(termFormat EnglishLanguage rents "rents") Mid-level-ontology.kif 29978-29978

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 29989-29997

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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