containsInformation |
(=> (instance ?SM SheetMusic) (exists (?MC) (and (instance ?MC MusicalComposition) (containsInformation ?SM ?MC)))) |
Mid-level-ontology.kif 14413-14418 | |
(=> (instance ?TPS TestProtocolSpecification) (exists (?PLAN ?EXPERIMENT ?PROC) (and (instance ?PLAN Plan) (instance ?EXPERIMENT Experimenting) (instance ?PROC Process) (represents ?PLAN ?PROC) (subProcess ?EXPERIMENT ?PROC) (containsInformation ?TPS ?PLAN)))) |
UXExperimentalTerms.kif 2754-2763 | |
(=> (instance ?Title Title) (exists (?Property ?Agent) (containsInformation ?Title (possesses ?Agent ?Property)))) |
FinancialOntology.kif 3932-3935 | |
(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP)))) |
Merge.kif 4608-4613 | |
(=> (recordForAgreement ?CBP ?A) (not (exists (?P) (and (not (equal ?P ?A)) (not (abstractPart ?P ?A)) (containsInformation ?CBP ?P))))) |
Law.kif 504-513 | |
(=> (subProposition ?PROP1 ?PROP2) (forall (?OBJ1 ?OBJ2) (=> (and (containsInformation ?OBJ1 ?PROP1) (containsInformation ?OBJ2 ?PROP2)) (subsumesContentInstance ?OBJ2 ?OBJ1)))) |
Merge.kif 4645-4652 | |
(=> (subsumesContentClass ?CLASS1 ?CLASS2) (forall (?OBJ2 ?INFO) (=> (and (instance ?OBJ2 ?CLASS2) (containsInformation ?OBJ2 ?INFO)) (exists (?OBJ1) (and (instance ?OBJ1 ?CLASS1) (containsInformation ?OBJ1 ?INFO)))))) |
Merge.kif 4535-4545 |