Text Comparison Table

Next ContentBearingObject: Icon Up: ContentBearingObject Previous ContentBearingObject: LinguisticExpression

Text comparison table

Subject have relatedInternalConcept be third domain of documentation be disjoint from is a kind of be first domain of be second domain of have axiom

Book containsInformation connects A Text that has pages and is bound Process Text subsumesContentInstance authors
(=>
(instance ?TEXT Text)
(exists (?PART1 ?PART2)
(and
(part ?PART1 ?TEXT)
(part ?PART2 ?TEXT)
(instance ?PART1 Sentence)
(instance ?PART2 Sentence)
(not (equal ?PART1 ?PART2)))))

Subject	have relatedInternalConcept	be third domain of	documentation	be disjoint from	is a kind of	be first domain of	be second domain of	have axiom
Book	containsInformation	connects	A Text that has pages and is bound	Process	Text	subsumesContentInstance	authors	(=> (instance ?TEXT Text) (exists (?PART1 ?PART2) (and (part ?PART1 ?TEXT) (part ?PART2 ?TEXT) (instance ?PART1 Sentence) (instance ?PART2 Sentence) (not (equal ?PART1 ?PART2)))))

Next ContentBearingObject: Icon Up: ContentBearingObject Previous ContentBearingObject: LinguisticExpression