AsymmetricRelation
|
|
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 2277-2278 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 459-460 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9893-9893 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2275-2275 | Relacao Assimetrica e' uma sub-classe de Relacao Anti-simetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2274-2274 | Relacao Assimetrica e' uma sub-classe de Relacao Irreflexiva |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3030-3030 | acronym e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3420-3420 | agentName e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 696-696 | agreementAdoptionDate e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 756-756 | agreementEffectiveDuring e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23204-23204 | alias e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1312-1312 | areaOfOperation e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13792-13792 | atomicNumber e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1715-1715 | attribute e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15477-15477 | authors e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7836-7836 | barometricPressure e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22910-22910 | benefits e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 350-350 | canRunOn e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22863-22863 | cargo e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3777-3777 | causes e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3821-3821 | causesProposition e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3800-3800 | causesSubclass e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2057-2057 | chamberOfLegislature e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16773-16773 | citizen e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3573-3573 | closedOn e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1656-1656 | coldSeasonInArea e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10023-10023 | completelyFills e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1015-1015 | contains e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1355-1355 | containsInformation e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1635-1635 | coolSeasonInArea e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4198-4198 | crosses e' uma instancia de Relacao Assimetrica |
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 2280-2284 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2286-2290 |
|