|
|
   Bed
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3770-3770 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 266-266 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 37-37 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3769-3769 | Bed est une sous-classe de Furniture |
| appearance as argument number 2 |
|
|
| 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 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4054-4061 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3772-3777 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4102-4106 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11041-11050 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5435-5444 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15587-15592 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 96-101 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25770-25780 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4131-4139 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4034-4039 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1953-1962 |
|
|
|
