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 2179-2182
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 2177-2177 Single valued relation is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2176-2176 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 24472-24472 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 24445-24445 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 24415-24415 Substring fn 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 7516-7516 age is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7699-7699 altitude is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17945-17945 approximate diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5963-5963 arc weight is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5359-5359 average is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16893-16893 conclusion is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2875-2875 currency type is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8543-8543 date is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7726-7726 depth is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7661-7661 diameter is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7676-7676 distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1385-1385 effective range is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21706-21706 electron number is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16418-16418 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 17972-17972 geometric distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. engineering.kif 296-296 has dimension is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. engineering.kif 303-303 has variable is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6698-6698 human capacity is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11952-11952 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