Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA ?ANIMAL)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 1928-1937
(subclass BodyOfWater WaterArea) Geography.kif 4491-4491 水体水域subclass
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4492-4492 水体自身连接物体subclass
(subclass Ocean BodyOfWater) Geography.kif 4513-4513 海洋水体subclass
(subclass Sea BodyOfWater) Geography.kif 4758-4758 水体subclass
(subclass LandlockedWater BodyOfWater) Geography.kif 5078-5078 内陆水域水体subclass
(subclass Gulf BodyOfWater) Geography.kif 5122-5122 海湾水体subclass
(subclass Estuary BodyOfWater) Geography.kif 5179-5179 河口水体subclass
(subclass Inlet BodyOfWater) Geography.kif 5218-5218 进口水体subclass
(subclass Sound BodyOfWater) Geography.kif 5278-5278 声音水体subclass
(subclass Strait BodyOfWater) Geography.kif 5292-5292 海峡水体subclass
(subclass Channel BodyOfWater) Geography.kif 5316-5316 渠道水体subclass
(subclass River BodyOfWater) Geography.kif 5474-5474 水体subclass
(subclass Creek BodyOfWater) Geography.kif 5672-5672 水体subclass


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