TotalValuedRelation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1823-1826 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2197-2201 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 442-445 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | Relacao Total e' uma sub-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | Relacao Total e' uma sub-classe de Relacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4761-4761 | AbsoluteValueFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | AccelerationFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4711-4711 | AdditionFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5258-5258 | ArcCosineFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5268-5268 | ArcSineFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5248-5248 | ArcTangentFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7981-7981 | BeginFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5941-5941 | BeginNodeFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4782-4782 | CeilingFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7638-7638 | CenterOfCircleFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5476-5476 | ComplementFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4800-4800 | CosineFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4809-4809 | DenominatorFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6643-6643 | DensityFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4948-4948 | DiameterFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8009-8009 | EndFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5952-5952 | EndNodeFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4818-4818 | ExponentiationFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4827-4827 | FloorFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8510-8510 | FutureFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5497-5497 | GeneralizedIntersectionFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5486-5486 | GeneralizedUnionFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6053-6053 | GraphPathFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4907-4907 | ImaginaryPartFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16284-16284 | ImmediateFamilyFn e' uma instancia de Relacao Total |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |