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


KB Term:  Term intersection
English Word: 

  SortimoCorp

 Sigma KEE - SortimoCorp
SortimoCorp(Sortimo Corporation)

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


(instance SortimoCorp Corporation) Cars.kif 4997-4997 Sortimo Corporation is an instance of corporation
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 4999-4999 The headquarters of Sortimo Corporation is in germany

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SortimoCorp "Sortimo Corporation") Cars.kif 4998-4998

statement
-------------------------


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))		 Cars.kif 5001-5004 There exists X such that X is a subclass of tool box and the maker of X is Sortimo Corporation


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners