| Door(门)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15258-15262 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 80-80 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29368-29368 | 门 和 VehicleDoor 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15255-15255 | 门 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15254-15254 | 门 是 过境障碍 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20190-20190 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20189-20189 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20188-20188 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25809-25826 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15298-15305 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15264-15269 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25828-25840 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15236-15247 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2428-2438 |
|
|
|