Necessity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Necessity

Necessity(necessity)

essential, fatal, fateful, ineluctable, inescapable, inevitable, inevitably, must, necessarily, necessary, necessity, needfully, needs, of_necessity, prerequisite, requirement, requisite, unavoidable, unnecessary, unneeded

appearance as argument number 1

(documentation Necessity ChineseLanguage "这是指应用于必须出现 Proposition 的属性，即是它在所有的世界上都会实现。")	chinese_format.kif 3891-3892
(documentation Necessity EnglishLanguage "Attribute that applies to Propositions that are necessary, i.e. true in every possible world.")	Merge.kif 17573-17574
(instance Necessity AlethicAttribute)	Merge.kif 17572-17572	Necessity is an instance of alethic attribute

appearance as argument number 2

(termFormat ChineseLanguage Necessity "必要性")	domainEnglishFormat.kif 40072-40072
(termFormat ChineseTraditionalLanguage Necessity "必要性")	domainEnglishFormat.kif 40071-40071
(termFormat EnglishLanguage Necessity "necessity")	domainEnglishFormat.kif 40070-40070

antecedent

(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility)))	Merge.kif 17576-17578	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
(=> (and (instance ?AGENT AutonomousAgent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1))	Dining.kif 772-795	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
(=> (modalAttribute ?FORMULA Necessity) (modalAttribute ?FORMULA Possibility))	Merge.kif 17580-17582	If the statement a formula has the modal force of necessity, then the statement the formula has the modal force of possibility

consequent

(=> (attribute ?ORG Greedy) (exists (?OBJ) (and (instance ?ORG Organism) (instance ?OBJ Physical) (desires ?ORG (possesses ?ORG ?OBJ)) (not (modalAttribute (possesses ?ORG ?OBJ) Necessity)))))	Mid-level-ontology.kif 21401-21409	If greedy is an attribute of a cognitive agent, then there exists an entity such that the cognitive agent is an instance of organism and the entity is an instance of physical and the cognitive agent desires the cognitive agent possesses the entity and the statement the cognitive agent possesses the entity doesn't have the modal force of necessity
(=> (instance ?GUN Handgun) (hasPurpose ?GUN (exists (?MAN ?S ?H ?G ?S) (and (instance ?MAN Human) (instance ?S Shooting) (instrument ?S ?GUN) (agent ?S ?MAN) (instance ?G Grabbing) (subProcess ?G ?S) (patient ?G ?GUN) (agent ?G ?MAN) (instrument ?G ?H) (instance ?H Hand) (part ?H ?MAN) (not (modalAttribute (exists (?H2) (and (instance ?H2 Hand) (not (equal ?H ?H2)) (part ?H2 ?MAN) (instrument ?G ?H2))) Necessity))))))	Mid-level-ontology.kif 1976-2000	If a physical is an instance of hand gun, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the other entity such that the entity is an instance of human and the other entity is an instance of shooting and the physical is an instrument for the other entity and the entity is an agent of the other entity and the fourth entity is an instance of grabbing and the fourth entity is a subprocess of the other entity and the physical is a patient of the fourth entity and the entity is an agent of the fourth entity and the third entity is an instrument for the fourth entity and the third entity is an instance of hand and the third entity is a part of the entity and the statement there exists the third entity2 such that the third entity2 is an instance of hand and the third entity is not equal to the third entity2 and the third entity2 is a part of the entity and the third entity2 is an instrument for the fourth entity doesn't have the modal force of necessity
(=> (instance ?L Longgun) (hasPurpose ?L (exists (?S ?A) (and (instance ?S Shooting) (instrument ?S ?L) (agent ?S ?A) (instance ?A Human) (holdsDuring (WhenFn ?S) (exists (?G) (and (instance ?G Grabbing) (agent ?G ?A) (patient ?G ?L) (modalAttribute (exists (?H1 ?H2) (and (instance ?H1 Hand) (part ?H1 ?A) (instance ?H2 Hand) (part ?H2 ?A) (not (equal ?H1 ?H2)) (instrument ?G ?H1) (instrument ?G ?H2))) Necessity))))))))	Mid-level-ontology.kif 1897-1923	If a physical is an instance of long gun, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the other entity is an agent of the entity and the other entity is an instance of human and there exists a third entity such that the third entity is an instance of grabbing and the other entity is an agent of the third entity and the physical is a patient of the third entity and the statement there exist a fourth entity and a fifth entity such that the fourth entity is an instance of hand and the fourth entity is a part of the other entity and the fifth entity is an instance of hand and the fifth entity is a part of the other entity and the fourth entity is not equal to the fifth entity and the fourth entity is an instrument for the third entity and the fifth entity is an instrument for the third entity has the modal force of necessity holds during the time of existence of the entity
(=> (instance ?X PartInspection) (hasPurpose ?X (exists (?O ?P) (and (instance ?O SelfConnectedObject) (patient ?X ?O) (instance ?P Proposition) (refers ?P ?O) (modalAttribute (conforms ?O ?P) Necessity)))))	Economy.kif 2072-2082	If a physical is an instance of part inspection, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of self connected object and the entity is a patient of the physical and the other entity is an instance of proposition and the other entity includes a reference to the entity and the statement the entity conforms to the other entity has the modal force of necessity

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