ElectronicLock
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25783-25784 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25782-25782 | Electronic lock is a subclass of lock |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25785-25785 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25787-25798 |
|