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 | BuildingLevel e' uma sub-classe de Artefato Estacionario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15406-15406 | Basement e' uma sub-classe de BuildingLevel |
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 |
|