Letter hopes
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14805-14806 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 555-555 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2841-2841 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2699-2699 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2842-2842 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 953-953 | Letter is a subclass of correspondence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14804-14804 | Letter is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Media.kif 954-954 | Letter is a subclass of text document |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34163-34163 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34162-34162 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34161-34161 |