appearance as argument number 2

(instance valence SingleValuedRelation)	Merge.kif 352-352	valence is an instance of single valued relation
(instance leader SingleValuedRelation)	Merge.kif 1704-1704	leader is an instance of single valued relation
(subclass Function SingleValuedRelation)	Merge.kif 3463-3463	Function is a subclass of single valued relation
(instance uniqueIdentifier SingleValuedRelation)	Merge.kif 4553-4553	unique identifier is an instance of single valued relation
(instance average SingleValuedRelation)	Merge.kif 5482-5482	average is an instance of single valued relation
(instance arcWeight SingleValuedRelation)	Merge.kif 6082-6082	arc weight is an instance of single valued relation
(instance age SingleValuedRelation)	Merge.kif 7653-7653	age is an instance of single valued relation
(instance width SingleValuedRelation)	Merge.kif 7680-7680	width is an instance of single valued relation
(instance length SingleValuedRelation)	Merge.kif 7697-7697	length is an instance of single valued relation
(instance radius SingleValuedRelation)	Merge.kif 7810-7810	radius is an instance of single valued relation
(instance diameter SingleValuedRelation)	Merge.kif 7834-7834	diameter is an instance of single valued relation
(instance distance SingleValuedRelation)	Merge.kif 7853-7853	distance is an instance of single valued relation
(instance altitude SingleValuedRelation)	Merge.kif 7876-7876	altitude is an instance of single valued relation
(instance depth SingleValuedRelation)	Merge.kif 7906-7906	depth is an instance of single valued relation
(instance monetaryValue SingleValuedRelation)	Merge.kif 7959-7959	monetary value is an instance of single valued relation
(instance date SingleValuedRelation)	Merge.kif 8745-8745	date is an instance of single valued relation
(instance transactionAmount SingleValuedRelation)	Merge.kif 12124-12124	transaction amount is an instance of single valued relation
(instance mother SingleValuedRelation)	Merge.kif 16760-16760	mother is an instance of single valued relation
(instance father SingleValuedRelation)	Merge.kif 16777-16777	father is an instance of single valued relation
(instance conclusion SingleValuedRelation)	Merge.kif 17247-17247	conclusion is an instance of single valued relation
(instance geometricDistance SingleValuedRelation)	Merge.kif 18312-18312	geometric distance is an instance of single valued relation
(instance wavelength SingleValuedRelation)	Mid-level-ontology.kif 571-571	wavelength is an instance of single valued relation
(instance effectiveRange SingleValuedRelation)	Mid-level-ontology.kif 1652-1652	effective range is an instance of single valued relation
(instance humanCapacity SingleValuedRelation)	Mid-level-ontology.kif 7786-7786	human capacity is an instance of single valued relation
(instance intelligenceQuotient SingleValuedRelation)	Mid-level-ontology.kif 13452-13452	intelligence quotient 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners