TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ChainLink EnglishLanguage "Any closed form of metal rod or wire intended for use as part of a chain.")	Cars.kif 4434-4435
(subclass ChainLink Artifact)	Cars.kif 4432-4432	ChainLink はアーチファクトの subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage ChainLink "chain link")

Cars.kif 4433-4433

antecedent

(=> (instance ?CL ChainLink) (attribute ?CL RingTorus))	Cars.kif 4441-4443	オブジェクトは ChainLink の instance では %n RingTorus はオブジェクトの attribute では %n
(=> (instance ?CL ChainLink) (material Metal ?CL))	Cars.kif 4437-4439	微粒子オブジェクトは ChainLink の instance では %n 金属は微粒子オブジェクトで made %n

consequent

(=>
    (instance ?C Chain)
    (exists (?CL1 ?CL2 ?CL3)
        (and
            (instance ?CL1 ChainLink)
            (instance ?CL2 ChainLink)
            (instance ?CL3 ChainLink)
            (not
                (equal ?CL1 ?CL2))
            (not
                (equal ?CL2 ?CL3))
            (not
                (equal ?CL3 ?CL1))
            (crosses ?CL1 ?CL2)
            (crosses ?CL2 ?CL3)
            (not
                (crosses ?CL1 ?CL3)))))

Cars.kif 4399-4415

エンティティーは Chain の instance では %n
エンティティーL1 エンティティーL2 and エンティティーL3 エンティティーL1 は ChainLink の instance では %n エンティティーL2 は ChainLink の instance では %n エンティティーL3 は ChainLink の instance では %n エンティティーL1 はエンティティーL2 と equal ではエンティティーL2 はエンティティーL3 と equal ではエンティティーL3 はエンティティーL1 と equal ではエンティティーL1 は　エンティティーL2 を crosses %n{ない} エンティティーL2 は　エンティティーL3 を crosses %n{ない} エンティティーL1 は　エンティティーL3 を crosse ない

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

KB Term:			Term intersection

English Word: