Mute
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30257-30257 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30256-30256 | Mute est une instance de attribut relationnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65217-65217 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30259-30267 | Mute est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de Speaking temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent |