equivalentContentInstance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation equivalentContentInstance ChineseLanguage "这是个联系两个 ContentBearingPhysical 实例的 BinaryPredicate，(equivalentContentInstance ?OBJ1 ?OBJ2)的意思是由 ?OBJ1 所表达的内容和由 ?OBJ2 所表达的内容是相同的。一封给律师的信的手稿和同一封信的打字本之间的关系便是一个例子。注：(equivalentContentInstance ?OBJ1 ?OBJ2) 暗示 (subsumesContentInstance ?OBJ1 ?OBJ2) 和 (subsumesContentInstance ?OBJ2 ?OBJ2)。")	chinese_format.kif 2188-2192
(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 4457-4464
(domain equivalentContentInstance 1 ContentBearingPhysical)	Merge.kif 4453-4453	The number 1 argument of equivalent content instance is an instance of content bearing physical
(domain equivalentContentInstance 2 ContentBearingPhysical)	Merge.kif 4454-4454	The number 2 argument of equivalent content instance is an instance of content bearing physical
(instance equivalentContentInstance BinaryPredicate)	Merge.kif 4452-4452	equivalent content instance is an instance of binary predicate
(instance equivalentContentInstance EquivalenceRelation)	Merge.kif 4451-4451	equivalent content instance is an instance of equivalence relation
(relatedInternalConcept equivalentContentInstance equivalentContentClass)	Merge.kif 4455-4455	equivalent content instance is internally related to equivalent content class

appearance as argument number 2

(format ChineseLanguage equivalentContentInstance "%1 %n 等于 %2")	chinese_format.kif 209-209
(format EnglishLanguage equivalentContentInstance "%1 is %n equivalent to %2")	english_format.kif 210-210
(relatedInternalConcept realization equivalentContentInstance)	Merge.kif 4503-4503	realization is internally related to equivalent content instance
(termFormat ChineseLanguage equivalentContentInstance "内容等效实例")	chinese_format.kif 210-210
(termFormat ChineseLanguage equivalentContentInstance "等效内容实例")	domainEnglishFormat.kif 22365-22365
(termFormat ChineseTraditionalLanguage equivalentContentInstance "等效內容實例")	domainEnglishFormat.kif 22364-22364
(termFormat EnglishLanguage equivalentContentInstance "equivalent content instance")	domainEnglishFormat.kif 22363-22363

antecedent

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

Merge.kif 4472-4476

If a content bearing physical is equivalent to another content bearing physical,
then the content bearing physical subsumes the content of the other content bearing physical and the other content bearing physical subsumes the content of the content bearing physical

consequent

(=> (and (subsumesContentInstance ?OBJ1 ?OBJ2) (subsumesContentInstance ?OBJ2 ?OBJ1)) (equivalentContentInstance ?OBJ1 ?OBJ2))	Merge.kif 4466-4470	If a content bearing physical subsumes the content of another content bearing physical and the other content bearing physical subsumes the content of the content bearing physical, then the content bearing physical is equivalent to the other content bearing physical
(=> (instance ?R Restating) (exists (?L) (and (instance ?L LinguisticCommunication) (earlier ?L ?R) (containsInformation ?R ?RP) (containsInformation ?L ?LP) (equivalentContentInstance ?RP ?LP))))	Mid-level-ontology.kif 29084-29092	If a time interval is an instance of Restating, then there exists another time interval such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP is equivalent to the other time intervalP
(=> (record ?REC ?PHYS) (equivalentContentInstance ?REC ?PHYS))	Mid-level-ontology.kif 13802-13804	If a content bearing object is a record of a content bearing physical, then the content bearing object is equivalent to the content bearing physical

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

KB Term:			Term intersection

English Word: