| Paragraph(paragraph)
|
| appearance as argument number 1 |
|
| (subclass Paragraph Text) | Mid-level-ontology.kif 701-701 | 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 702-703 | 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 |
|
|
| antecedent |
|
|
| (=> (instance ?T Paragraph) (exists (?S) (and (instance ?S Sentence) (part ?S ?T)))) |
Mid-level-ontology.kif 705-710 | 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 |
|
|
|