| (subclass ReferenceBook Book) | Mid-level-ontology.kif 14913-14913 | Reference book is a subclass of book |
| (subclass ReferenceBook FactualText) | Mid-level-ontology.kif 14914-14914 | Reference book is a subclass of factual text |
| (subclass TPFDDFile ReferenceBook) | MilitaryProcesses.kif 1648-1648 | TPFDD file is a subclass of reference book |
| (subclass JOPESManual ReferenceBook) | MilitaryProcesses.kif 1841-1841 | JOPES manual is a subclass of reference book |
| (subclass Dictionary ReferenceBook) | Mid-level-ontology.kif 14920-14920 | Dictionary is a subclass of reference book |
|
|