Sigma KEE - Human

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	子類 Class and Tissue 子類 Class and Tissue 例 Object and Class 例 Object and Class 例 Object and Human 部分 Object and Object 部分 Object and Object 等於 Class and Class 子類 Class and Class 子類 Class and Class 方位 Object, Object and 鄰模態屬性 entity 例 entity and ConnectiveTissue 之間 Object, entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Dining.kif 900-909	AutonomousAgent believes Object 是韓元例 Object and food for Human Contest AutonomousAgent and Process AutonomousAgent entered Object 在 Contest 例 Process and 判斷 agent Process and AutonomousAgent 子過程 Process and Contest
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 49-52	例 CognitiveAgent and Human attribute CognitiveAgent and 平民流離失所是 CognitiveAgent 的 disapproves