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

Formal Language: 


KB Term:  Term intersection
English Word: 

  SingleValuedRelation

Sigma KEE - SingleValuedRelation
SingleValuedRelation(single valued relation)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1820-1822
No TPTP formula. May not be expressible in strict first order. Merge.kif 2190-2193
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 438-441
No TPTP formula. May not be expressible in strict first order. Merge.kif 2188-2188 Single valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2187-2187 Single valued relation is a subclass of relation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26134-26134 String concatenate fn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26107-26107 String length fn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26077-26077 Substring fn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7560-7560 age is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7781-7781 altitude is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19516-19516 approximate diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5988-5988 arc weight is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5387-5387 average is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 17068-17068 conclusion is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 3212-3212 currency type is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8656-8656 date is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7811-7811 depth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7739-7739 diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7758-7758 distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1602-1602 effective range is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23323-23323 electron number is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16593-16593 father is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 33-33 genetic substrate of virus is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 18158-18158 geometric distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. engineering.kif 295-295 has dimension is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. engineering.kif 302-302 has variable is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7635-7635 human capacity is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13283-13283 intelligence quotient is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 22-22 invading virus is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1621-1621 leader is an instance of single valued relation

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