VideoDisplay(video display) | ![]() | VDU, visual_display_unit |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25629-25630 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25628-25628 | Video display is a subclass of electric device |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 482-482 | TouchScreen is a subclass of video display |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25631-25631 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2197-2202 |
|
No TPTP formula. May not be expressible in strict first order. | Communications.kif 404-411 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26337-26341 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2204-2211 |
|
![]() |
![]() |