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