propertyAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - propertyAmenity

propertyAmenity

appearance as argument number 1

(documentation propertyAmenity EnglishLanguage "(propertyAmenity ?AGENT ?PHYS) means that &AutonomousAgent ?AGENT provides Physical ?PHYS on its property")	Hotel.kif 497-498
(domain propertyAmenity 1 AutonomousAgent)	Hotel.kif 501-501	The number 1 argument of property amenity is an instance of agent
(domainSubclass propertyAmenity 2 Physical)	Hotel.kif 502-502	The number 2 argument of property amenity is a subclass of physical
(instance propertyAmenity BinaryPredicate)	Hotel.kif 496-496	property amenity is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage propertyAmenity "%1 有 %2 ")	domainEnglishFormat.kif 4258-4258
(format ChineseTraditionalLanguage propertyAmenity "%1 有 %2 ")	domainEnglishFormat.kif 4257-4257
(format EnglishLanguage propertyAmenity "%1 has %2")	domainEnglishFormat.kif 4256-4256
(subrelation freePropertyAmenity propertyAmenity)	Hotel.kif 540-540	free property amenity is a subrelation of property amenity
(subrelation paidPropertyAmenity propertyAmenity)	Hotel.kif 563-563	paid property amenity is a subrelation of property amenity
(termFormat EnglishLanguage propertyAmenity "property amenity")	Hotel.kif 499-499	paid property amenity is a subrelation of property amenity

antecedent

(=> (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 504-520	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
(=> (propertyAmenity ?HR VideoCheckOut) (exists (?VD ?ROOM) (and (instance ?VD VideoDisplay) (capability VideoCheckOut instrument ?VD) (located ?VD ?ROOM) (instance ?ROOM ?HR))))	Hotel.kif 2231-2238	If an agent has video check-out, then there exist an object and another object such that the object is an instance of video display and the object is capable of doing video check-out as a instrument and the object is located at the other object and the other object is an instance of the agent

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