TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Drivebelt EnglishLanguage "A Pliable belt that links two Pulleys")	Cars.kif 2318-2319
(subclass Drivebelt Device)	Cars.kif 2316-2316	Drivebelt ist eine teilkategorie von Device

appearance as argument number 2

(subclass FanBelt Drivebelt)	Cars.kif 2711-2711	FanBelt ist eine teilkategorie von Drivebelt
(termFormat EnglishLanguage Drivebelt "drivebelt")	Cars.kif 2317-2317

antecedent

(=>
(instance ?D Drivebelt)
(attribute ?D Pliable))

Cars.kif 2321-2323

Wenn Object ist ein fall von Drivebelt %n{nicht},
dann Pliable ist ein attribut von ** Object %n{nicht}

consequent

(=>
    (instance ?P Pulley)
    (hasPurpose ?P
        (exists (?P2 ?D ?R1 ?R2)
            (and
                (instance ?P2 Pulley)
                (not
                    (equal ?P ?P2))
                (instance ?D Drivebelt)
                (instance ?R1 Rotating)
                (instance ?R2 Rotating)
                (connectedEngineeringComponents ?P ?D)
                (connectedEngineeringComponents ?P2 ?D)
                (patient ?R1 ?P)
                (patient ?R2 ?P2)
                (causes ?R1 ?R2)))))

Cars.kif 2299-2314

Wenn Physical ist ein fall von Pulley %n{nicht},
dann ** Physical hat Zweck von es gibt ** Physical2, ** entity,, , ** entity, and und ** entity um ** Physical2 ist ein fall von Pulley %n{nicht} und ** Physical ist gleich ** Physical2 nicht und ** ** entity ist ein fall von Drivebelt %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** Physical wird mit ** ** entity angeschlossen und ** Physical2 wird mit ** ** entity angeschlossen und ** Physical ist ein patient von ** ** entity %n{nicht} und ** Physical2 ist ein patient von ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} %n{nicht}

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: