Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14705-14709	如果符号串在 ISO-639-1 denotes 实体，然后那个实体是人类语言的 instance 或那个实体是另一个实体是人类语言的 subclass 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1433-1433	人类语言是语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1447-1447	人工语言是人类语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1464-1464	自然语言是人类语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1472-1472	手动人类语言是人类语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1478-1478	口语人类语言是人类语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1495-1495	WrittenHumanLanguage 是人类语言的 subclass