Paragraph - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Paragraph Text)	Mid-level-ontology.kif 688-688	Paragraph is a subclass of text
(documentation Paragraph EnglishLanguage "A Text which consists of one or more sentences, begins with an indented line, and expresses a single topic.")	Mid-level-ontology.kif 689-690	Paragraph is a subclass of text
(externalImage Paragraph "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Lessing_Phyllis.jpg")	pictureList.kif 2717-2717	Paragraph is a subclass of text
(externalImage Paragraph "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Romanian_kirilitza_tatal_nostru.jpg")	pictureList.kif 2891-2891	Paragraph is a subclass of text

appearance as argument number 2

(termFormat EnglishLanguage Paragraph "paragraph")	domainEnglishFormat.kif 44363-44363
(termFormat ChineseTraditionalLanguage Paragraph "段")	domainEnglishFormat.kif 44364-44364
(termFormat ChineseLanguage Paragraph "段")	domainEnglishFormat.kif 44365-44365

antecedent

(=>
    (instance ?T Paragraph)
    (exists (?S)
        (and
            (instance ?S Sentence)
            (part ?S ?T))))

If X is an instance of paragraph, then there exists Y such that Y is an instance of sentence and Y is a part of X