No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14912-14912 | Reference book is a subclass of book |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14913-14913 | 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 14919-14919 | Dictionary is a subclass of reference book |