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 6027-6034
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6026-6026	子類 Coughing and OrganismProcess

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	例 Process and Coughing 體驗者 Process and AutonomousAgent Process Process 例 Process and 吸入例 Process and 呼氣子過程 Process and Process 子過程 Process and Process 體驗者 Process and AutonomousAgent 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6050-6069	例 Process and Coughing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entity and entity 例 entity and 肺例 entity and 喉例 entity and Object 例 entity and Removing 部分 entity and AutonomousAgent 部分 entity and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity 位於 entity and entity

consequent

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

Mid-level-ontology.kif 11798-11806