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 |
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. | MilitaryProcesses.kif 1841-1841 | JOPES manual is a subclass of reference book |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14920-14920 | Dictionary is a subclass of reference book |