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 1383-1387 | |
(domain containsFormula 1 ContentBearingPhysical) | Merge.kif 1377-1377 | |
(domain containsFormula 2 Formula) | Merge.kif 1378-1378 | |
(instance containsFormula BinaryPredicate) | Merge.kif 1376-1376 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage containsFormula "%1 contains the formula %2") | Merge.kif 1381-1381 | |
(relatedInternalConcept containsInformation containsFormula) | Merge.kif 1379-1379 | |
(termFormat EnglishLanguage containsFormula "contains formula") | Merge.kif 1380-1380 |
antecedent |
![]() |
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2292-2299 |
consequent |
![]() |
![]() |
![]() |