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 2092-2095
No TPTP formula. May not be expressible in strict first order. Merge.kif 2090-2090 Single valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2089-2089 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 22268-22268 StringConcatenateFn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22240-22240 StringLengthFn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22210-22210 SubstringFn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1453-1453 absolute height is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7171-7171 age is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7312-7312 altitude is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15677-15677 approximate diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5653-5653 arc weight is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5082-5082 average is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15748-15748 conclusion is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2878-2878 currency type is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8016-8016 date is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7339-7339 depth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7274-7274 diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7289-7289 distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1770-1770 effective range is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19538-19538 electron number is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15279-15279 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 16694-16694 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 6337-6337 human capacity is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10008-10008 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

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