No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3873-3873 |
BunkBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3940-3940 |
Crib est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3836-3836 |
DoubleBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3953-3953 |
Hammock est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3779-3779 |
KingBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3888-3888 |
MurphyBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3810-3810 |
QueenBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3909-3909 |
RollawayBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3862-3862 |
SingleBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3921-3921 |
SofaBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10457-10457 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10456-10456 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10455-10455 |
|