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 2109-2113
No TPTP formula. May not be expressible in strict first order. Merge.kif 2107-2107 Total valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2106-2106 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 4585-4585 Absolute value is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Cars.kif 1293-1293 AccelerationFn is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4535-4535 Addition is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7595-7595 Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5638-5638 Begin node is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4606-4606 Ceiling is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7264-7264 Center of circle is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5201-5201 Complement is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4624-4624 Cosine is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4633-4633 Denominator is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6363-6363 Density is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4644-4644 Diameter is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7623-7623 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5649-5649 End node is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4642-4642 Exponentiation is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4651-4651 Floor is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7998-7998 Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5222-5222 Generalized intersection is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5211-5211 Generalized union is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5756-5756 Graph path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4719-4719 Imaginary part is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15160-15160 Immediate family is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8015-8015 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7984-7984 Immediate past is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5179-5179 Intersection is an instance of total valued 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 2115-2132 A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and


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