stays |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14393-14393 | 停留 和 家 是 disjoint 关系 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3377-3378 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14396-14397 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14394-14394 | 停留 的 1 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14395-14395 | 停留 的 2 数量 是 暂住 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14392-14392 | 停留 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14391-14391 | 停留 是 居住 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4638-4638 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4637-4637 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4636-4636 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55206-55206 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55205-55205 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55204-55204 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20568-20578 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2654-2674 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2681-2697 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2704-2719 | |
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 2951-2963 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1029-1035 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1243-1254 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1224-1236 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1042-1050 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2245-2252 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1827-1848 |
|