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 e' uma instancia de Atributo Relacional |
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 e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Speaking tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent |