BuildingLevel(建设水平) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15396-15397 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8397-8397 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9010-9010 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9011-9011 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9012-9012 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15395-15395 | 建设水平 是 固定人工制品 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15406-15406 | 地下室 是 建设水平 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12257-12257 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12256-12256 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12255-12255 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15097-15107 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15399-15404 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1207-1216 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15073-15085 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24632-24643 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15411-15420 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15427-15440 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26508-26520 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 705-715 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19237-19248 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19220-19231 |