TreeView Knowledge Base Browser - Squid

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 2407-2407

Squid is a subclass of mollusk

appearance as argument number 2

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

consequent

(=>
    (instance ?C Calamari)
    (exists (?S)
        (and
            (meatOfAnimal ?S Squid)
            (material ?S ?C))))

Food.kif 2410-2415

If a corpuscular object is an instance of calamari,
then there exists a kind of substance such that a kind of substance is the meat of squid and the corpuscular object is made of the kind of substance

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 is open source software produced by Articulate Software and its partners