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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2125-2128
No TPTP formula. May not be expressible in strict first order. Merge.kif 2123-2123 Single valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2122-2122 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 23849-23849 StringConcatenateFn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23822-23822 StringLengthFn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23792-23792 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 7426-7426 age is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7609-7609 altitude is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17361-17361 approximate diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5867-5867 arc weight is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5265-5265 average is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16624-16624 conclusion is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2885-2885 currency type is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8451-8451 date is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7636-7636 depth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7571-7571 diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7586-7586 distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1346-1346 effective range is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21190-21190 electron number is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16149-16149 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 17716-17716 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 6362-6362 human capacity is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11437-11437 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 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