| AsymmetricRelation(asymmetric relation)
| | asymmetric_relation, 非对称关系, 非対称関係 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1839-1840 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2183-2184 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9911-9911 | "http://upload.wikimedia.org/math/1/0/f/10ff5b5037e4904130e011977405575e.png" is a URL depicting asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2181-2181 | Asymmetric relation is a subclass of antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2180-2180 | Asymmetric relation is a subclass of irreflexive relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 858-858 | Back is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5091-5091 | Cardinality is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 836-836 | Front is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2475-2475 | Probability is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3333-3333 | account number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3000-3000 | acronym is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3388-3388 | agentName is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 683-683 | agreement adoption date is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 743-743 | agreement effective during is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21106-21106 | alias is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1311-1311 | area of operation is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12638-12638 | atomic number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1622-1622 | attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14183-14183 | authors is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3779-3779 | bank account is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7282-7282 | barometric pressure is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20793-20793 | benefits is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 348-348 | canRunOn is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 424-424 | cardinality is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20744-20744 | cargo is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3515-3515 | causes is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3559-3559 | causes proposition is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3538-3538 | causes subclass is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2011-2011 | chamber of legislature is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3350-3350 | check number is an instance of asymmetric relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2186-2190 | An entity is an instance of asymmetric relation if and only if the entity is an instance of antisymmetric relation and the entity is an instance of irreflexive relation |
|
|
|