No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4925-4925 |
Right angle is the angle found in rectangle |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4856-4857 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1958-1958 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2255-2255 |
Right angle is an instance of positional attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4855-4855 |
Right angle is an instance of two dimensional angle |