PropertyFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PropertyFn

PropertyFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4369-4370
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4367-4368
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4365-4365	The number 1 argument of property is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4364-4364	Property is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4363-4363	Property is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4366-4366	The range of property is an instance of set

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 269-269
No TPTP formula. May not be expressible in strict first order.	english_format.kif 163-163
No TPTP formula. May not be expressible in strict first order.	french_format.kif 153-153
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 236-236
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 105-105
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 101-101
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 163-163
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 347-347
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 274-274
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 428-428
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 270-270	"属于财产函数" is the printable form of property in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8392-8392	"property" is the printable form of property in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 551-551	"«مُمْتَلَكَات لـ»" is the printable form of property in ar

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 4372-4374	An object is an instance of belongings of an agent if and only if the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1399-1404	If traveler accommodation is an attribute of an agent and an entity is an element of belongings of the agent and the entity is an instance of Casino, then casino hotels is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1080-1093	If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room, then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of front desk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 142-149	If a collection is an element of belongings of an agent and the collection is an instance of room inventory, then for all an object if the object is a member of the collection, then the object is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 810-831	If a set or class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the set or class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent price 0 united states dollar(s) for the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 333-348	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 350-363	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and a process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 780-801	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another agent and a kind of physical is a subclass of object, then the statement there exist an object and another process such that the object is an instance of the kind of physical and the other process is an instance of process and the object is a resource for the other process or the object is an instrument for the other process or the object is a patient of the other process and the other agent is an agent of the other process or the other agent experiences the other process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 289-308	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists an object such that the object is an instance of the kind of physical and the object is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists a process such that the human is an agent of the process and the object is an instrument for the process or the object is a patient of the process or the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1640-1648	If an entity is an instance of hotel function room and the entity is an element of belongings of an agent, then the entity has purpose there exists a process such that the process is an instance of renting and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1846-1858	If an object is an instance of nursery and the object is an element of belongings of an agent and traveler accommodation is an attribute of the agent, then communal is an attribute of the object and the agent employs a cognitive agent and the cognitive agent has purpose there exists a service such that the service is an instance of child-care service and the cognitive agent provides a service during the service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 452-463	If a kind of stationary artifact can accommodate at most an integer people and a temporary residence is an instance of a kind of stationary artifact and the temporary residence is an element of belongings of an agent, then the statement there exists a human such that the human is an instance of group of people and another integer is a member count of the human and the other integer is less than or equal to the integer and the human stays at the temporary residence has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 840-863	If renters of a kind of hotel function room can pay to use a set or class and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the set or class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent price a currency measure for the cognitive agent and the currency measure is greater than 0 united states dollar(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7962-7964	Value of belongings of an agent is equal to a currency measure if and only if value of belongings of the agent is the currency measure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 568-573	If an agent can hold kinds of a kind of process, then there exists an object such that the object is an element of belongings of the agent and the object is capable of doing a kind of process as a located
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1879-1890	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 495-510	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist a process and an object such that the object is an element of belongings of the cognitive agent and an agent is an agent of the process and the process is an instance of the kind of physical or another process is an instance of a set or class and the process is a subprocess of the other process and the process is located at the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1080-1093	If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room, then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of front desk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 142-149	If a collection is an element of belongings of an agent and the collection is an instance of room inventory, then for all an object if the object is a member of the collection, then the object is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 372-392	If renters of a kind of hotel unit can pay to use a set or class and the set or class is a subclass of object, then if a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the object or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 394-411	If renters of a kind of hotel unit can pay to use a set or class and the set or class is a subclass of process, then if a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and a process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	If traveler accommodation is an attribute of a cognitive agent, then the cognitive agent has purpose there exist another cognitive agent and an object such that the cognitive agent rents the object to the other cognitive agent during a time interval and the object is an instance of hotel unit and the object is an element of belongings of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 11362-11367	If water theme park is an attribute of an agent, then there exists an entity such that the entity is an instance of swimming pool and the entity is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 98-103	If an entity is an instance of hotel unit, then there exists an agent such that traveler accommodation is an attribute of the agent and the entity is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 105-112	If an object is an instance of hotel unit, then the object has purpose there exist a cognitive agent, another cognitive agent and a time interval such that the cognitive agent is not equal to the other cognitive agent and the object is an element of belongings of the cognitive agent and the cognitive agent rents the object to the other cognitive agent during the time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1635-1638	If an entity is an instance of hotel function room, then there exists an agent such that the entity is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 584-589	If an agent has a policy, then for all an object if the object is an element of belongings of the agent, then the policy covers the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1671-1683	If mini bar is an amenity in a kind of hotel unit, then there exist an object, a collection and an agent such that the object is an instance of a kind of hotel unit and the object is an element of belongings of the agent and the collection is an instance of mini bar and the collection is located at the object and for all another object if the other object is a member of the collection, then there exists a currency measure such that the other object price the currency measure for 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners