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 | Le nombre 1 argument de containsFormula est une instance de ContentBearingPhysical |
(domain containsFormula 2 Formula) | Merge.kif 1378-1378 | Le nombre 2 argument de containsFormula est une instance de formule |
(instance containsFormula BinaryPredicate) | Merge.kif 1376-1376 | containsFormula est une instance de pr�dicat binaire |
appearance as argument number 2 |
![]() |
(format EnglishLanguage containsFormula "%1 contains the formula %2") | Merge.kif 1381-1381 | |
(relatedInternalConcept containsInformation containsFormula) | Merge.kif 1379-1379 | containsInformation est reli� � l'int�rieur de SUMO � containsFormula |
(termFormat EnglishLanguage containsFormula "contains formula") | Merge.kif 1380-1380 | containsInformation est reli� � l'int�rieur de SUMO � containsFormula |
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 |
![]() |
![]() |
![]() |