GroupOfPeople(一群人) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3670-3671 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16235-16236 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16234-16234 | 一群人 是 群组 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 903-903 | 联合参谋长 是 一群人 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 883-883 | 联合工作人员 是 一群人 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1993-1993 | NativityMagi 是 一群人 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1950-1950 | TwelveApostles 是 一群人 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8040-8040 | 公民 的 range 是 一群人 的实例 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8029-8029 | 居民 的 range 是 一群人 的实例 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16244-16244 | 同龄群组 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16592-16592 | 信仰团体 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16096-16096 | 犯罪团伙 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15963-15963 | 戏剧性的演员 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16587-16587 | 民族群组 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16259-16259 | 家族群组 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16084-16084 | 陪审团 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18527-18527 | 音乐团体 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30627-30627 | NationalPerson 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26076-26076 | 上市 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16272-16272 | 社会单位 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7524-7524 | 运动队 是 一群人 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26814-26814 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26813-26813 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26812-26812 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7557-7557 | 小组成员 的 2 数量 是 一群人 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7562-7569 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23494-23504 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16238-16242 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1270-1278 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1227-1246 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4187-4195 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21952-21958 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 408-419 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2663-2669 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26457-26475 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 479-490 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2883-2892 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2903-2914 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2864-2873 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 732-742 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2925-2940 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23488-23492 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 790-800 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16816-16827 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 163-175 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2055-2064 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26104-26122 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 857-873 |