Necessity - Sigma Knowledge base Browser

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 17509-17510
(instance Necessity AlethicAttribute)	Merge.kif 17508-17508	Necessity is an instance of alethic attribute

appearance as argument number 2

(termFormat ChineseLanguage Necessity "必要性")	domainEnglishFormat.kif 40089-40089
(termFormat ChineseTraditionalLanguage Necessity "必要性")	domainEnglishFormat.kif 40088-40088
(termFormat EnglishLanguage Necessity "necessity")	domainEnglishFormat.kif 40087-40087

antecedent

(<=> (modalAttribute ?FORMULA Necessity) (not (modalAttribute (not ?FORMULA) Possibility)))	Merge.kif 17512-17514	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 17516-17518	If the statement a formula has the modal force of necessity, then the statement the formula has the modal force of possibility

consequent

(=>
    (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 1947-1957

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

KB Term:			Term intersection

English Word: