Document
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26388-26397 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26387-26387 | Document e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26386-26386 | Document e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26407-26407 | Livro e' uma sub-classe de Document |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2589-2589 | BusinessRequirementDocument e' uma sub-classe de Document |
No TPTP formula. May not be expressible in strict first order. | Media.kif 952-952 | Correspondence e' uma sub-classe de Document |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1033-1033 | HardcopyDocument e' uma sub-classe de Document |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2747-2747 | TestProtocolSpecification e' uma sub-classe de Document |
No TPTP formula. May not be expressible in strict first order. | Media.kif 930-930 | TextDocument e' uma sub-classe de Document |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64777-64777 |
antecedent |
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. | Biography.kif 742-751 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 938-943 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26399-26405 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 717-726 |