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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TotalValuedRelation
TotalValuedRelation(total valued relation)

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 2143-2147
No TPTP formula. May not be expressible in strict first order. Merge.kif 2141-2141 Total valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2140-2140 Total valued relation is a subclass of relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4671-4671 Absolute value is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Cars.kif 1279-1279 AccelerationFn is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4621-4621 Addition is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5164-5164 Arccosine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5174-5174 Arcsine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5154-5154 Arctangent is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7891-7891 Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5845-5845 Begin node is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4692-4692 Ceiling is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7548-7548 Center of circle is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5382-5382 Complement is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4710-4710 Cosine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4719-4719 Denominator is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6553-6553 Density is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4674-4674 Diameter is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7919-7919 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5856-5856 End node is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4728-4728 Exponentiation is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4737-4737 Floor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8418-8418 Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5403-5403 Generalized intersection is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5392-5392 Generalized union is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5963-5963 Graph path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4817-4817 Imaginary part is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16015-16015 Immediate family is an instance of total valued relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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