TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6027-6034
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6026-6026	Coughing est une sous-classe de fonction physiologique

appearance as argument number 2

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

Mid-level-ontology.kif 6035-6035

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6037-6048	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus processus processus est une instance de Inhaling processus est une instance de Exhaling processus est un sous-processus de processus processus est un sous-processus de processus AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6050-6069	Processus est une instance de Coughing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit� and entit� entit� est une instance de Lung entit� est une instance de Throat entit� est une instance de objet entit� est une instance de supprimer entit� est une partie de AutonomousAgent entit� est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus

consequent

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

Mid-level-ontology.kif 11798-11806