shape |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25578-25578 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25576-25576 | The number 1 argument of shape is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25577-25577 | The number 2 argument of shape is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25574-25574 | shape is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25575-25575 | shape is a subrelation of property |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4506-4506 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4505-4505 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4504-4504 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 403-403 | cell shape is a subrelation of shape |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65933-65933 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25580-25585 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2811-2813 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2782-2784 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3996-3998 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 661-663 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 340-342 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1089-1091 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1135-1137 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1069-1071 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25633-25635 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 160-162 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25602-25604 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25594-25596 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25614-25616 |
|