License
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16525-16528 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2844-2844 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2846-2846 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2845-2845 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2847-2847 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2700-2700 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2843-2843 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16524-16524 | License is a subclass of certificate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16878-16878 | Drivers license is a subclass of license |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16557-16557 | Passport is a subclass of license |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34295-34295 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34294-34294 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34293-34293 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16530-16535 |
|