| Mute | |
| appearance as argument number 1 |
|
|
| (documentation Mute EnglishLanguage "The state of not Speaking.") | Mid-level-ontology.kif 32189-32189 | |
| (instance Mute RelationalAttribute) | Mid-level-ontology.kif 32188-32188 | Mute est une instance de attribut relationnel |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Mute "mute") | domainEnglishFormat.kif 65211-65211 |
| antecedent |
|
|
| (<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P))))) |
Mid-level-ontology.kif 32191-32199 | 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 |
|
|
|