Mute
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30293-30293 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30292-30292 | 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 65219-65219 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30295-30303 | 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 |