| 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.") | Law.kif 27-31 | |
| (domain containsFormula 1 ContentBearingPhysical) | Law.kif 21-21 | |
| (domain containsFormula 2 Formula) | Law.kif 22-22 | |
| (instance containsFormula BinaryRelation) | Law.kif 20-20 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage containsFormula "%1 contains the formula %2") | Law.kif 25-25 | |
| (relatedInternalConcept containsInformation containsFormula) | Law.kif 23-23 | |
| (termFormat EnglishLanguage containsFormula "contains formula") | Law.kif 24-24 |
| consequent |
|
|
| (=> (holdsDuring ?T1 (prohibits ?A ?F)) (exists (?S) (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 78-91 | |
| (=> (trusts ?A1 ?A2 ?P) (believes ?A1 (=> (and (instance ?S Stating) (containsFormula ?S (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))))) (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Likely)))) |
Law.kif 443-459 |
|
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