Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  RelativeComplementFn

 Sigma KEE - RelativeComplementFn
RelativeComplementFn

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


(instance RelativeComplementFn BinaryFunction) Merge.kif 5584-5584 Relative complement is an instance of binary function
(instance RelativeComplementFn TotalValuedRelation) Merge.kif 5585-5585 Relative complement is an instance of total valued relation
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5586-5586 The number 1 argument of relative complement is an instance of set or class
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5587-5587 The number 2 argument of relative complement is an instance of set or class
(range RelativeComplementFn SetOrClass) Merge.kif 5588-5588 The range of relative complement is an instance of set or class
(documentation RelativeComplementFn EnglishLanguage "A BinaryFunction that maps two SetOrClasses to the difference between these SetOrClasses. More precisely, (RelativeComplementFn ?CLASS1 ?CLASS2) denotes the instances of ?CLASS1 that are not also instances of ?CLASS2.") Merge.kif 5590-5593 The range of relative complement is an instance of set or class

Show without tree

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