containsFormula |
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 引数は ContentBearingPhysical の instance では %n |
(domain containsFormula 2 Formula) | Merge.kif 1368-1368 | containsFormula の数値 2 引数は 公式 の instance では %n |
(instance containsFormula BinaryPredicate) | Merge.kif 1366-1366 | containsFormula は 2進述語 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage containsFormula "%1 contains the formula %2") | Merge.kif 1371-1371 | |
(relatedInternalConcept containsInformation containsFormula) | Merge.kif 1369-1369 | containsInformation は containsFormula に internally 関連して %n |
(termFormat EnglishLanguage containsFormula "contains formula") | Merge.kif 1370-1370 | containsInformation は containsFormula に internally 関連して %n |
antecedent |
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2295-2302 |
|
consequent |