|
|
   PositionalAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3800-3801 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16996-16998 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16995-16995 | Attribut positionnel est une sous-classe de attribut relationnel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17071-17071 | Above est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17084-17084 | Below est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1703-1703 | Downhill est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19233-19233 | Downstairs est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5459-5459 | Downstream est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 281-281 | Downwind est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17040-17040 | Horizontal est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9089-9089 | Inside est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17109-17109 | Left est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9105-9105 | Outside est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17116-17116 | Right est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2249-2249 | RightAngle est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26004-26004 | Surrounded est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1697-1697 | Uphill est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19216-19216 | Upstairs est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5457-5457 | Upstream est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 273-273 | Upwind est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17032-17032 | Vertical est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17060-17060 | AntiSymmetricPositionalAttribute est une sous-classe de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17000-17000 | Attribut directionnel est une sous-classe de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4944-4944 | RotationalAttribute est une sous-classe de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17049-17049 | SymmetricPositionalAttribute est une sous-classe de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1236-1236 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1693-1693 | |
| 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. | Merge.kif 16939-16939 | Le nombre 2 argument de direction est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18126-18126 | Le nombre 1 argument de oppositeDirection est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18127-18127 | Le nombre 2 argument de oppositeDirection est une instance de attribut positionnel |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16914-16914 | Le nombre 3 argument de orientation est une instance de attribut positionnel |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18136-18141 |
|
|
|