appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17235-17236 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17234-17234 | Performance is a subclass of demonstrating |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17340-17340 | Dramatic performance is a subclass of performance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17316-17316 | Musical performance is a subclass of performance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17254-17254 | Performance act is a subclass of performance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45110-45110 | Performance act is a subclass of performance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45109-45109 | Performance act is a subclass of performance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45108-45108 | Performance act is a subclass of performance |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20421-20426 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17247-17252 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17238-17245 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 380-387 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20492-20498 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20366-20373 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2364-2383 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24146-24154 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8279-8285 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15910-15916 |
|
![]() |
![]() |