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


KB Term:  Term intersection
English Word: 

  initialList

 Sigma KEE - initialList
initialList

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


(instance initialList BinaryPredicate) Merge.kif 3403-3403 initial list is an instance of binary predicate
(instance initialList PartialOrderingRelation) Merge.kif 3404-3404 initial list is an instance of partial ordering relation
(subrelation initialList subList) Merge.kif 3405-3405 initial list is a subrelation of sub list
(domain initialList 1 List) Merge.kif 3406-3406 The number 1 argument of initial list is an instance of list
(domain initialList 2 List) Merge.kif 3407-3407 The number 2 argument of initial list is an instance of list
(documentation initialList EnglishLanguage "(initialList ?LIST1 ?LIST2) means that ?LIST1 is a subList of ?LIST2 and (ListOrderFn ?LIST1 ?NUMBER) returns the same value as (ListOrderFn ?LIST2 ?NUMBER) for all of the values of ?NUMBER over which (ListOrderFn ?LIST1 ?NUMBER) is defined.") Merge.kif 3409-3412 The number 2 argument of initial list is an instance of list

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