Possibility - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Possibility,s__ChineseLanguage,'这是指应用于有可能出现 Proposition 的属性，即是它起码会在一个世界上实现。')	Merge.kif 17748-17749
s__documentation(s__Possibility,s__EnglishLanguage,'Attribute that applies to Propositions that are possible, i.e. true in at least one possible world.')	Merge.kif 17746-17747
s__instance(s__Possibility,s__AlethicAttribute)	Merge.kif 17745-17745	Possibility is an instance of alethic attribute

appearance as argument number 2

s__termFormat(s__EnglishLanguage,s__Possibility,'possibility')

domainEnglishFormat.kif 8224-8224

"possibility" is the printable form of possibility in english language

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17757-17759	The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27526-27531	If DeviceDamaged is an attribute of an object and the object has purpose a formula, then the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27499-27503	If DeviceNormal is an attribute of an object and the object has purpose a formula, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1158-1175	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist another agent and another process such that the other process is an instance of eating and the other agent is an agent of the other process and the agent is not equal to the other agent and the other agent is an instance of group of people and the other process is located at 2 and the time of existence of the process meets the time of existence of the other process and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23584-23597	If multilingual is an attribute of an agent and a process is an instance of speaking and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of spoken human language and the other entity is an instance of spoken human language and the entity is not equal to the other entity and the entity is a patient of the process or the other entity is a patient of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24067-24079	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist a process and another object such that the process is an instance of motion and the other object is an instrument for the process and the other object is an instance of wheelchair and the process is located at 2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 151-169	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another process such that the other process is an instance of valet parking and the human is an agent of the other process and the entity is a patient of the other process and the other process ends up at another entity and the other entity is an instance of parking area has the modal force of possibility
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 1466-1479	If a cognitive agent employs another cognitive agent and traveler accommodation is an attribute of the cognitive agent and tennis pro is an attribute of the other cognitive agent and a third cognitive agent is a guest at the cognitive agent, then the statement there exist a contest and an object such that the contest is an instance of tennis and the other cognitive agent participates in the contest and the third cognitive agent participates in the contest and the contest is located at the object and the cognitive agent is located at the object has the modal force of possibility
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 2476-2494	If a policy is an instance of children policy and an organization enacts policy the policy and the policy covers an object, then the policy contains information the statement there exists a cognitive agent such that the organization is a customer of the cognitive agent and the cognitive agent is an instance of human child has the modal force of possibility or the policy contains information the statement there exists another cognitive agent such that the organization is a customer of the other cognitive agent and the other cognitive agent is an instance of human child doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23164-23174	If an object is an instance of hot tub and a physical is located at the object and the physical is an instance of water, then the statement there exists a process such that the process is an instance of heating and the object is an instrument for the process and the physical is a patient of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Media.kif 768-788	If a DataStorageDevice is an instance of ReadOnlyMemoryDataStorage and a process is an instance of manufacture and the DataStorageDevice is a result of the process, then the statement there exist another process and a content bearing object such that an entity is an instance of content development or the entity is an instance of DeletingData and the time of existence of the process happens earlier than the time of existence of the other process and the DataStorageDevice is a patient of the other process and the content bearing object is a patient of the other process and the content bearing object is stored on the DataStorageDevice holds during immediately after the time of existence of the other process doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6733-6745	If an object is an instance of substance and insoluble is an attribute of the object, then the statement there exist another object and a third object such that the other object is an instance of substance and the third object is an instance of solution and the object is a part of the third object and the other object is a part of the third object doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6705-6716	If an object is an instance of substance and soluble is an attribute of the object, then the statement there exist another object and a third object such that the other object is an instance of substance and the third object is an instance of solution and the object is a part of the third object and the other object is a part of the third object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23192-23205	If an object is an instance of whirlpool tub and double size is an attribute of the object, then the statement there exists an entity such that there exist a physical and another physical such that the physical is an instance of human and the other physical is an instance of human and the physical is not equal to the other physical and the physical is located at the object and the other physical is located at the object holds during the entity has the modal force of possibility
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.	Catalog.kif 108-118	If an agent offers items for sale in an abstract and the abstract is an instance of attribute, then the statement there exist an object and a process such that the process is an instance of selling and the abstract is an attribute of the object and the object is a patient of the process and the agent is an agent of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of physical, then the statement there exist a process and another entity such that the other entity is an instance of the kind of entity and the process is an instance of selling and the agent is an agent of the process and the other entity is a patient of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-75	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of proposition, then the statement there exist a process and another process such that the other process expresses the content of the kind of entity and the process is an instance of selling and the other process is a patient of the process and the agent is an agent of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1834-1844	If an organism is a parent of another organism and the other organism is an instance of human child or the other organism is an instance of human baby, then the statement there exists a formula such that the formula is an instance of child-care service and the organism desires the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11766-11780	If an agreement has an attribute contract and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a process is an instance of intentional process and the cognitive agent is an agent of the process and the process expresses the content of a proposition and the agreement is not a consistent of the proposition, then the statement there exists a legal action such that the legal action is an instance of legal action and the other cognitive agent is the plaintiff in the legal action and the cognitive agent is the defendant in the legal action has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 310-324	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of process, then the statement there exist an object and a process such that the object is an instance of a kind of hotel unit 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 the kind of physical 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 920-933	If a person in an object can see a kind of physical and the object is an instance of room and a kind of physical is outside to the object, then the statement there exist an agent, a process and an entity such that the agent is an instance of human and the agent is located at the object and the process is an instance of seeing and the entity is an instance of the kind of physical and the entity is a patient of the process and the agent is an agent of the process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12842-12854	If translucent is an attribute of an object, then the statement there exists a process such that the process is an instance of radiating light and source the process and another object and the process ends up at the objectBJ and the object is between the other object and the objectBJ and illuminated is an attribute of the objectBJ holds during the time of existence of the process has the modal force of possibility

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: