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


KB Term:  Term intersection
English Word: 

  PremisesFn

 Sigma KEE - PremisesFn
PremisesFn

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


(instance PremisesFn UnaryFunction) Merge.kif 17231-17231 Premises is an instance of unary function
(instance PremisesFn TotalValuedRelation) Merge.kif 17232-17232 Premises is an instance of total valued relation
(domain PremisesFn 1 Argument) Merge.kif 17233-17233 The number 1 argument of premises is an instance of argument
(range PremisesFn Formula) Merge.kif 17234-17234 The range of premises is an instance of formula
(documentation PremisesFn EnglishLanguage "(PremisesFn ?ARGUMENT) returns the complete set of premises of the Argument ?ARGUMENT.") Merge.kif 17235-17236 The range of premises is an instance of formula

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