friend |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22945-22947 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22949-22949 | 朋友 的 1 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22950-22950 | 朋友 的 2 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22941-22941 | 朋友 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22943-22943 | 朋友 是 有意图的关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22942-22942 | 朋友 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22951-22951 | 朋友 是 相识熟人 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1085-1085 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1084-1084 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1083-1083 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25052-25052 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25051-25051 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25050-25050 |
statement |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1970-1978 | 有存在 时距 这样 那个 时距 是 时距 的 instance 和 那个 时距 finishes了才到 JesusOfNazareth 出现 的 time 和 那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
|