No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15756-15756 |
Comodo e' disjunto de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7320-7320 |
Auditorium e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15736-15736 |
Barn e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 648-648 |
BaseballDugout e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7044-7044 |
CommercialBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22390-22390 |
EntertainmentBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7091-7091 |
FarmBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22402-22402 |
GovernmentBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26503-26503 |
HighRise e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2934-2934 |
HomeGarage e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 132-132 |
HotelVilla e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8476-8476 |
LibraryBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7667-7667 |
MedicalClinicBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22477-22477 |
OfficeBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2935-2935 |
ParkingGarage e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22520-22520 |
PlaceOfWorship e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20922-20922 |
PoliceFacility e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7904-7904 |
ReligiousBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15803-15803 |
ResidentialBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22556-22556 |
RestaurantBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22482-22482 |
SchoolBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7079-7079 |
Store e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2919-2919 |
TerminalBuilding e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3076-3076 |
TollBooth e' uma sub-classe de Predio |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1051-1051 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |