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


KB Term:  Term intersection
English Word: 

  DramaticActing

 Sigma KEE - Squid
Squid(squid)architeuthis, genus_Architeuthis, genus_Loligo, genus_Ommastrephes, giant_squid, loligo, ommastrephes, squid

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


(subclass Squid Mollusk) Food.kif 2426-2426 Squid is a subclass of mollusk

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


(meatOfAnimal SquidMeat Squid) Food.kif 2035-2035 Squid is the meat of squid
(termFormat EnglishLanguage Squid "squid") domainEnglishFormat.kif 65538-65538 Squid is the meat of squid

consequent
-------------------------


(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))		 Food.kif 2429-2434 If X is an instance of calamari, then there exists Y such that Y is the meat of squid and X is made of Y


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