TreeView Knowledge Base Browser - HumanitarianAssistance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2730-2730	人道主义援助是跨国问题的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2721-2721	人道主义援助是社会合作的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4021-4021	人道主义援助是联合国难民署的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 4041-4041	人道主义援助是联合国在科索沃的临时行政当局的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 4239-4239	人道主义援助是联合国东帝汶过渡行政当局的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2731-2731	人权问题是人道主义援助的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2732-2732	人道主义援助是人道主义援助的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2734-2734	难民援助是人道主义援助的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28875-28875
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28874-28874
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28873-28873