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 子類 水體 and WaterArea
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4492-4492 子類 水體 and SelfConnectedObject
(subclass Ocean BodyOfWater) Geography.kif 4513-4513 子類 海洋 and 水體
(subclass Sea BodyOfWater) Geography.kif 4758-4758 子類 and 水體
(subclass LandlockedWater BodyOfWater) Geography.kif 5078-5078 子類 內陸水域 and 水體
(subclass Gulf BodyOfWater) Geography.kif 5122-5122 子類 海灣 and 水體
(subclass Estuary BodyOfWater) Geography.kif 5179-5179 子類 河口 and 水體
(subclass Inlet BodyOfWater) Geography.kif 5218-5218 子類 進口 and 水體
(subclass Sound BodyOfWater) Geography.kif 5278-5278 子類 聲音 and 水體
(subclass Strait BodyOfWater) Geography.kif 5292-5292 子類 海峽 and 水體
(subclass Channel BodyOfWater) Geography.kif 5316-5316 子類 渠道 and 水體
(subclass River BodyOfWater) Geography.kif 5474-5474 子類 and 水體
(subclass Creek BodyOfWater) Geography.kif 5672-5672 子類 and 水體


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