modalAttribute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17528-17532
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17521-17527
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17519-17519	The number 1 argument of modal attribute is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17520-17520	The number 2 argument of modal attribute is an instance of normative attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17515-17515	modal attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17514-17514	modal attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17516-17516	modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17517-17517	modal attribute is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17518-17518	modal attribute is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	english_format.kif 364-364
No TPTP formula. May not be expressible in strict first order.	french_format.kif 353-353
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 192-192
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 775-775
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 230-230
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 591-591	"语气属性" is the printable form of modal attribute in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6787-6787	"modal attribute" is the printable form of modal attribute in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11194-11201	The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17671-17673	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.	Merge.kif 17750-17752	The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17792-17794	The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Dining.kif 729-752	If a cognitive agent is an instance of agent and another cognitive agent is a potential customer for the cognitive agent and the statement a process is an instance of reserving and the process ends up at the cognitive agent has the modal force of necessity and probability of there exists the processES1 such that the processES1 is an instance of reservation and the other cognitive agent reserves the processES1 and the cognitive agent fulfills the processES1 provided that the cognitive agent is a customer of the other cognitive agent holds is a quantity and probability of there doesn't exist the processES2 such that the processES2 is an instance of reservation and the other cognitive agent reserves the processES2 and the cognitive agent fulfills the processES2 provided that the cognitive agent is a customer of the other cognitive agent holds is another quantity, then the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17534-17538	If the statement a formula has the modal force of a normative attribute and the formula entails another formula, then the statement the other formula has the modal force of the normative attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11153-11158	If the statement a formula has the modal force of law holds during a time interval, then there exists another time interval such that legislative bill is an attribute of the formula holds during the other time interval and the other time interval happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17810-17812	If the statement a formula has the modal force of likely, then the probability of the formula is true is greater than the probability of the formula is false
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17675-17677	If the statement a formula has the modal force of necessity, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17754-17756	If the statement a formula has the modal force of obligation, then the statement the formula has the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17540-17542	If the statement a formula has the modal force of permission, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17820-17822	If the statement a formula has the modal force of unlikely, then the probability of the formula is false is greater than the probability of the formula is true

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11194-11201	The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17671-17673	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.	Merge.kif 17750-17752	The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17792-17794	The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11422-11432	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and the deontic attribute is equal to obligation or the deontic attribute is equal to promise, then the statement there exists a process such that the process expresses the content of the proposition and the cognitive agent is an agent of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 335-341	If an object is the image on an album and another object is an instance of the set of copies on a kind of DataStorageDevice of the album and a self connected object contains the other object, then the statement the object is a part of the front of the self connected object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27165-27170	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 27138-27142	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.	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist a process and a physical such that the process is an instance of zakat and a time interval is an instance of year and the time interval takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the time interval and the agent is an agent of the process and the physical is a patient of the process and value of the physical is another currency measure and the other currency measure is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 125-134	If muslim is an attribute of an agent and the agent is capable of doing hajj as a agent, then the statement there exists a process such that the process is an instance of hajj and the agent is an agent of the process has the modal force of obligation
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 23223-23236	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 23706-23718	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.	Merge.kif 18693-18698	If defaultMaxValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS), then the statement the quantity is greater than the other quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 213-222	If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 223-234	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitMeasure and the unit of measure is an instance of the set or class, then the statement there exist another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 168-176	If the maximum expected radium of a kind of object is a length measure and another object is an instance of a kind of object and sphere is an attribute of the other object, then the statement the radius of the other object is the length measureADIUS and the length measureADIUS is greater than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 242-251	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 253-262	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number and .5 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18679-18684	If defaultMinValue an entity, a positive integer and a quantity and the entity @ARGS and another quantity is equal to the positive integerth element of (@ARGS), then the statement the other quantity is greater than the quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 184-193	If the minimum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist another object and the real numberUANTITY such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 194-205	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the set or class, then the statement there exist another object, the real numberUANTITY and another unit of measure such that the other object is an instance of a kind of object and the measure of the other object is the real numberUANTITY the other unit of measure(s) and the other unit of measure is an instance of the set or class and the real numberUANTITY the other unit of measure(s) is less than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	DimensioningAmenities.kif 151-159	If the minimum expected radius of a kind of object is a length measure and another object is an instance of a kind of object and sphere is an attribute of the other object, then the statement the radius of the other object is the length measureADIUS and the length measureADIUS is less than the length measure has the modal force of unlikely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 2354-2354	The statement antiterrorism and effective death penalty act has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2352-2352	The statement immigration and nationality act- section219-U s has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2349-2349	The statement immigration and nationality act-U s has the modal force of law

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: