Coughing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6032-6039
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6031-6031	Coughing e' uma sub-classe de Processo Organico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 6040-6040

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6042-6053	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo Processo Processo e' uma instancia de Inhaling Processo e' uma instancia de Exhaling Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Lung Entidade e' uma instancia de Throat Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 11770-11778