Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TotalValuedRelation

Sigma KEE - TotalValuedRelation
TotalValuedRelation(Relacao Total)

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners