modalAttribute - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__modalAttribute__m,s__ChineseLanguage,'"这是一种用来表示 Proposition 所含规范力度的 BinaryRelation。(modalAttribute ?FORMULA ?PROP)的意思是由 ?FORMULA 所表达的 Proposition 含有 NormativeAttribute ?PROP。例如：(modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation)的意思是约翰有义务要给汤姆一样东西。."')	chinese_format.kif 3857-3861
s__documentation(s__modalAttribute__m,s__EnglishLanguage,'"A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ?FORMULA ?PROP) means that the Proposition expressed by ?FORMULA has the NormativeAttribute ?PROP. For example, (modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation) means that John is obligated to give Tom something."')	Merge.kif 16068-16074
s__domain(s__modalAttribute__m,n__1,s__Formula)	Merge.kif 16066-16066	The number 1 argument of modal attribute is an instance of formula
s__domain(s__modalAttribute__m,n__2,s__NormativeAttribute)	Merge.kif 16067-16067	The number 2 argument of modal attribute is an instance of normative attribute
s__instance(s__modalAttribute__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 16062-16062	modal attribute is an instance of asymmetric relation
s__instance(s__modalAttribute__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Merge.kif 16061-16061	modal attribute is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass) s__instance(s__modalAttribute__m,s__IrreflexiveRelation)	Merge.kif 16063-16063	modal attribute is an instance of irreflexive relation
s__instance(s__modalAttribute__m,s__PartialValuedRelation) s__instance(s__PartialValuedRelation,s__SetOrClass)	Merge.kif 16064-16064	modal attribute is an instance of partial valued relation
s__subrelation(s__modalAttribute__m,s__property__m)	Merge.kif 16065-16065	modal attribute is a subrelation of property

appearance as argument number 2

s__format(s__ChineseLanguage,s__modalAttribute__m,'"%1 的声明 %n{doesnt have} %p{has} %2 的语气"')	chinese_format.kif 590-590
s__format(s__EnglishLanguage,s__modalAttribute__m,'"the statement %1 %n{doesnt have} %p{has} the modal force of %2"')	english_format.kif 597-597
s__termFormat(s__ChineseLanguage,s__modalAttribute__m,'"模态属性"')	domainEnglishFormat.kif 38095-38095
s__termFormat(s__ChineseLanguage,s__modalAttribute__m,'"语气属性"')	chinese_format.kif 591-591
s__termFormat(s__ChineseTraditionalLanguage,s__modalAttribute__m,'"模態屬性"')	domainEnglishFormat.kif 38094-38094
s__termFormat(s__EnglishLanguage,s__modalAttribute__m,'"modal attribute"')	domainEnglishFormat.kif 38093-38093

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11460-11467	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 16180-16182	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 16243-16245	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 16279-16281	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 725-748	If an agent is an instance of agent and a cognitive agent is a potential customer for the agent and the statement an entity is an instance of reserving and the entity ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 provided that the agent is a customer of the cognitive agent holds is another real number, then the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16076-16080	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 11419-11424	If the statement an entity 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 entity 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 16293-16295	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 16184-16186	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 16247-16249	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 16082-16084	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 16301-16303	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 11460-11467	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 16180-16182	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 16243-16245	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 16279-16281	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 11688-11698	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 an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Music.kif 313-319	If an Image is the image on an album and an object is an instance of the set of copies on a kind of DataStorageDevice of the album and a self connected object は the object を contains %n{ない}, then the statement the Image 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 27611-27616	If DeviceDamaged is an attribute of an object and the object 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 27584-27588	If DeviceNormal is an attribute of an object and the object 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 an entity and another entity such that the entity is an instance of zakat and a third entity is an instance of year and the third entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the third entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is a fourth entity and the fourth entity 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 object and the object is capable of doing hajj as a agent, then the statement there exists an entity such that the entity is an instance of hajj and the object is an agent of the entity has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1154-1171	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 an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity 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 23677-23690	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 24160-24172	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 an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at 2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-171	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 entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third 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 498-514	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 an entity and another entity such that the other entity is an element of belongings of the cognitive agent and the cognitive agent is an agent of the entity and the other cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or a third entity is an instance of a fourth entity 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17039-17044	If defaultMaxValue a predicate, a positive integer and a quantity and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the quantity is greater than the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11137-11146	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 an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity 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.	Mid-level-ontology.kif 11147-11158	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 NonCompositeUnitOfMeasure and the unit of measure is an instance of the set or class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the set or class and the real numberUANTITY the third entity(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.	Mid-level-ontology.kif 11092-11100	If the maximum 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 greater than the length measure has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11166-11175	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 an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity 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.	Mid-level-ontology.kif 11177-11186	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 an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity 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 17024-17029	If defaultMinValue a predicate, a positive integer and a quantity and the predicate @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the statement the other entity is greater than the quantity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11108-11117	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 an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity 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.	Mid-level-ontology.kif 11118-11129	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 an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the set or class and the real numberUANTITY the third entity(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.	Mid-level-ontology.kif 11075-11083	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 2348-2348	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 2346-2346	The statement immigration and nationality act- section219-US has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Government.kif 2343-2343	The statement immigration and nationality act-US 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: