TreeView Knowledge Base Browser - equivalentContentInstance

appearance as argument number 1

(instance equivalentContentInstance EquivalenceRelation)	Merge.kif 4661-4661	equivalent content instance is an instance of equivalence relation
(instance equivalentContentInstance BinaryPredicate)	Merge.kif 4662-4662	equivalent content instance is an instance of binary predicate
(domain equivalentContentInstance 1 ContentBearingPhysical)	Merge.kif 4663-4663	The number 1 argument of equivalent content instance is an instance of content bearing physical
(domain equivalentContentInstance 2 ContentBearingPhysical)	Merge.kif 4664-4664	The number 2 argument of equivalent content instance is an instance of content bearing physical
(relatedInternalConcept equivalentContentInstance equivalentContentClass)	Merge.kif 4665-4665	equivalent content instance is internally related to equivalent content class
(documentation equivalentContentInstance EnglishLanguage "A BinaryPredicate relating two instances of ContentBearingPhysical. (equivalentContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ1 is identical to the content expressed by ?OBJ2. An example would be the relationship between a handwritten draft of a letter to one's lawyer and a typed copy of the same letter. Note that (equivalentContentInstance ?OBJ1 ?OBJ2) implies (subsumesContentInstance ?OBJ1 ?OBJ2) and (subsumesContentInstance ?OBJ2 ?OBJ2).")	Merge.kif 4667-4674	equivalent content instance is internally related to equivalent content class

appearance as argument number 2

(relatedInternalConcept realization equivalentContentInstance)	Merge.kif 4713-4713	realization is internally related to equivalent content instance
(termFormat EnglishLanguage equivalentContentInstance "equivalent content instance")	domainEnglishFormat.kif 22369-22369	realization is internally related to equivalent content instance
(termFormat ChineseTraditionalLanguage equivalentContentInstance "等效內容實例")	domainEnglishFormat.kif 22370-22370	realization is internally related to equivalent content instance
(termFormat ChineseLanguage equivalentContentInstance "等效内容实例")	domainEnglishFormat.kif 22371-22371	realization is internally related to equivalent content instance
(format EnglishLanguage equivalentContentInstance "%1 is %n equivalent to %2")	english_format.kif 210-210	realization is internally related to equivalent content instance

antecedent

(=>
    (equivalentContentInstance ?OBJ1 ?OBJ2)
    (and
        (subsumesContentInstance ?OBJ1 ?OBJ2)
        (subsumesContentInstance ?OBJ2 ?OBJ1)))

If X is equivalent to Y, then X subsumes the content of Y and Y subsumes the content of X

consequent

(=> (and (subsumesContentInstance ?OBJ1 ?OBJ2) (subsumesContentInstance ?OBJ2 ?OBJ1)) (equivalentContentInstance ?OBJ1 ?OBJ2))	Merge.kif 4676-4680	If X subsumes the content of Y and Y subsumes the content of X, then X is equivalent to Y
(=> (record ?REC ?PHYS) (equivalentContentInstance ?REC ?PHYS))	Mid-level-ontology.kif 15940-15942	If X is a record of Y, then X is equivalent to Y
(=> (instance ?R Restating) (exists (?L ?LP ?RP) (and (instance ?L LinguisticCommunication) (earlier ?L ?R) (containsInformation ?R ?RP) (containsInformation ?L ?LP) (equivalentContentInstance ?RP ?LP))))	Mid-level-ontology.kif 32283-32291	If X is an instance of restating, then there exist Y, Z, W such that Y is an instance of linguistic communication, Y happens earlier than X, X contains information W, Y contains information Z, and W is equivalent to Z