containsFormula - Sigma Knowledge base Browser

appearance as argument number 1

(documentation containsFormula EnglishLanguage "The analogue to containsInformation for a Formula. The Formula is contained in or expressed by the Physical. This could capture the relation between a stop sign and the fact that it expresses the directive to stop moving momentarily, or that a Waving signifies a friendly greeting.")	Merge.kif 1373-1377
(domain containsFormula 1 ContentBearingPhysical)	Merge.kif 1367-1367	域 containsFormula, 1 and 內容承載物理
(domain containsFormula 2 Formula)	Merge.kif 1368-1368	域 containsFormula, 2 and Formula
(instance containsFormula BinaryPredicate)	Merge.kif 1366-1366	例 containsFormula and BinaryPredicate

appearance as argument number 2

(format EnglishLanguage containsFormula "%1 contains the formula %2")	Merge.kif 1371-1371
(relatedInternalConcept containsInformation containsFormula)	Merge.kif 1369-1369	相關的內部概念包含信息 and containsFormula
(termFormat EnglishLanguage containsFormula "contains formula")	Merge.kif 1370-1370

antecedent

(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsFormula ?INST ?P))
    (believes ?PARTY ?P))

Government.kif 2295-2302

子類 ContentBearingObject and 黨的平台作者 CognitiveAgent and ContentBearingObject 例 CognitiveAgent and 政治黨派例內容承載物理 and ContentBearingObject containsFormula 內容承載物理 and Formula
相信 CognitiveAgent and Formula

consequent

(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A))))))	Merge.kif 12092-12108	例 Process and 決定 agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Set 結果 Process and 內容承載物理例內容承載物理 and 內容承載物理 containsFormula 內容承載物理 and 持有期間未來何時 Process and entity 元件 entity and Entity 例 entity and IntentionalProcess agent entity and AutonomousAgent
(=> (and (instance ?M Misdiagnosing) (agent ?M ?D) (refers ?M ?P) (instance ?P Human)) (exists (?DIS) (and (containsFormula ?M (attribute ?P ?DIS)) (instance ?DIS DiseaseOrSyndrome) (believes ?D (attribute ?P ?DIS)) (truth (attribute ?P ?DIS) False))))	Medicine.kif 4195-4210	例 Process and Misdiagnosing agent Process and CognitiveAgent 參照 Process and Entity 例 Entity and Human CognitiveAgentIS containsFormula Process and attribute Entity and CognitiveAgentIS 例 CognitiveAgentIS and DiseaseOrSyndrome 相信 CognitiveAgent and attribute Entity and CognitiveAgentIS 真相 attribute Entity and CognitiveAgentIS and 假
(=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name)))))	Biography.kif 250-264	例內容承載物理 and 出生證明例 Process and Birth 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and entity entity and entity entity 是 AutonomousAgent 的 birthdate 例 entity and Day entity 是 AutonomousAgent 的 birthplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name
(=> (and (instance ?TEXT DeathCertificate) (instance ?D Death) (instance ?A Human) (experiencer ?D ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N ?PROC) (and (deathdate ?A ?DAY) (instance ?DAY Day) (deathplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name) (causes ?PROC ?D) (instance ?PROC Process)))))	Biography.kif 280-296	例內容承載物理 and DeathCertificate 例 Process and Death 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent containsFormula 內容承載物理 and ProcessAY entity, entity and entityROC ProcessAY 是 AutonomousAgent 的 deathdate 例 ProcessAY and Day entity 是 AutonomousAgent 的 deathplace 例 entity and GeographicArea 代表 entity and AutonomousAgent 例 entity and Name 原因 entityROC and Process 例 entityROC and Process
(=> (and (instance ?TEXT MarriageCertificate) (instance ?A Human) (instance ?B Human) (spouse ?A ?B)) (containsFormula ?TEXT (exists (?DAY) (and (weddingdate ?A ?B ?DAY) (instance ?DAY Day)))))	Biography.kif 307-317	例內容承載物理 and MarriageCertificate 例 Human and Human 例 Human and Human Human 是 Human 的 spouse containsFormula 內容承載物理 and entity Human 和 Human 之前是 married 在 entity 例 entity and Day
(=> (holdsDuring ?T1 (prohibits ?A ?F)) (exists (?S ?B ?P) (and (instance ?S Stating) (during (WhenFn ?S) ?T1) (agent ?S ?A) (containsFormula ?S (=> (causes (agent ?P ?B) (truth ?F True)) (punishes ?A ?B))))))	Law.kif 65-78	持有期間 TimeInterval and prohibits AutonomousAgent and entity Process entity and entity 例 Process and Stating 期間何時 Process and TimeInterval agent Process and AutonomousAgent containsFormula Process and 原因 agent entity and entity and 真相 entity and 真正 punishes AutonomousAgent and entity
(=> (trusts ?A1 ?A2 ?P) (believes ?A1 (=> (exists (?S ?PI ?P) (and (instance ?S Stating) (containsFormula ?S (and (instance ?PI ?P) (agent ?PI ?A2))))) (modalAttribute (and (instance ?PI ?P) (agent ?PI ?A2)) Likely))))	Law.kif 400-415	trusts CognitiveAgent, AutonomousAgent and IntentionalProcess 相信 CognitiveAgent and entity IntentionalProcessI and IntentionalProcess 例 entity and Stating containsFormula entity and 例 IntentionalProcessI and IntentionalProcess agent IntentionalProcessI and AutonomousAgent 模態屬性例 IntentionalProcessI and IntentionalProcess agent IntentionalProcessI and AutonomousAgent and 容易

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: