No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2678-2678 |
Concave is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1426-1426 |
Cone segment is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2646-2646 |
Convex is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25639-25639 |
Disk shaped is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9985-9985 |
Fillable is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2774-2774 |
Flat is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2811-2811 |
Level shape is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19451-19451 |
Line formation is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2794-2794 |
Long and thin is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4394-4394 |
Ring torus is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25631-25631 |
Round two dimensional is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2831-2831 |
Symmetric shape is an instance of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12559-12559 |
Fingerprint is a subclass of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17859-17859 |
Geometric figure is a subclass of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 154-154 |
Molecule structural attribute is a subclass of shape attribute |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1254-1254 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1729-1729 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 932-932 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 466-466 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 469-469 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2616-2616 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 884-884 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 471-471 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 505-505 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |