Speaking
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3004-3005 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 817-818 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1767-1768 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 819-819 | Speaking is a subclass of linguistic communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 820-820 | Speaking is a subclass of vocalizing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | Emotional speaking behavior is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15899-15899 | Lecture is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15944-15944 | Reciting is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54476-54476 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54475-54475 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54474-54474 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25781-25794 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6447-6459 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1664-1676 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30295-30303 | Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15914-15927 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 727-734 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2966-2974 |
|