|
|
   Seat
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3710-3711 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4818-4818 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3709-3709 | Seat e' uma sub-classe de Furniture |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7367-7367 | AuditoriumSeat e' uma sub-classe de Seat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3722-3722 | Chair e' uma sub-classe de Seat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26225-26225 | Recliner e' uma sub-classe de Seat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3743-3743 | Sofa e' uma sub-classe de Seat |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51737-51737 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51736-51736 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51735-51735 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5002-5011 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3713-3720 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15561-15566 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23449-23456 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26162-26169 |
|
|
|
