|
|
   ShapeAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3961-3961 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17733-17734 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17729-17729 | Atributo de Forma e' uma sub-classe de StructureAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25598-25598 | Circular e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2678-2678 | Concave e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1426-1426 | ConeSegment e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2646-2646 | Convex e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25606-25606 | DiskShaped e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25590-25590 | Elliptical e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9949-9949 | Fillable e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2781-2781 | Flat e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2818-2818 | LevelShape e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19424-19424 | LineFormation e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2801-2801 | LongAndThin e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4409-4409 | RingTorus e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25587-25587 | RoundTwoDimensional e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2838-2838 | SymmetricShape e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12532-12532 | Fingerprint e' uma sub-classe de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17780-17780 | GeometricFigure e' uma sub-classe de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 154-154 | MoleculeStructuralAttribute e' uma sub-classe de Atributo de Forma |
| 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 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 405-405 | O argumento numero 2 de cellShape e' uma instancia de Atributo de Forma |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25577-25577 | O argumento numero 2 de shape e' uma instancia de Atributo de Forma |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17736-17741 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25580-25585 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12656-12669 |
|
|
|
|