No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26386-26386 | Document is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26387-26387 | Document is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2589-2589 | Business requirement document is a subclass of document |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2747-2747 | Test protocol specification is a subclass of document |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26407-26407 | Book is a subclass of document |
No TPTP formula. May not be expressible in strict first order. | Media.kif 930-930 | Text document is a subclass of document |
No TPTP formula. May not be expressible in strict first order. | Media.kif 952-952 | Correspondence is a subclass of document |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1033-1033 | Hardcopy document is a subclass of document |