ReferenceBook(reference book) | annual, atlas, book_of_facts, book_of_maps, cookbook, cookery_book, cyclopaedia, cyclopedia, directory, enchiridion, encyclopaedia, encyclopedia, handbook, instruction_book, map_collection, reference, reference_book, reference_work, source_book, vade_mecum, wordbook, yearbook, yearly |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14915-14918 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2919-2919 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2729-2729 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14913-14913 | Reference book is a subclass of book |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14914-14914 | Reference book is a subclass of factual text |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14920-14920 | Dictionary is a subclass of reference book |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1841-1841 | JOPES manual is a subclass of reference book |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1648-1648 | TPFDD file is a subclass of reference book |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49100-49100 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49099-49099 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49098-49098 |