Singing(singing)![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1412-1414 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13885-13888 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6859-6859 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7866-7866 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13884-13884 | Singing is a subclass of singing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53160-53160 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53159-53159 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53158-53158 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13890-13895 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15123-15133 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1809-1819 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15142-15155 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1440-1442 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1029-1042 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 690-696 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15165-15171 |
|
![]() |
![]() |