TreeView Knowledge Base Browser

appearance as argument number 1

(subclass IntakeValve Valve)	Cars.kif 2666-2666	IntakeValve ist eine teilkategorie von Valve
(typicalPart IntakeValve FourStrokeEngine)	Cars.kif 2670-2670	typicalPart IntakeValve and FourStrokeEngine
(typicallyContainsPart IntakeValve FourStrokeEngine)	Cars.kif 2671-2671	typicallyContainsPart IntakeValve and FourStrokeEngine

appearance as argument number 2

(termFormat EnglishLanguage IntakeValve "intake valve")

Cars.kif 2667-2667

antecedent

(=>
    (instance ?IV IntakeValve)
    (hasPurpose ?IV
        (exists (?A ?FV ?CC ?T)
            (and
                (instance ?A Automobile)
                (instance ?FV FuelVapor)
                (instance ?CC CombustionChamber)
                (instance ?T Transfer)
                (part ?IV ?A)
                (part ?CC ?A)
                (patient ?T ?FV)
                (path ?T ?IV)
                (destination ?T ?CC)))))

Cars.kif 2673-2686

Wenn Physical ist ein fall von IntakeValve %n{nicht},
dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Automobile %n{nicht} und ** ** entity ist ein fall von FuelVapor %n{nicht} und ** ** entity ist ein fall von CombustionChamber %n{nicht} und ** ** entity ist ein fall von Transfer %n{nicht} und ** Physical ist ein teil von ** entity %n{nicht} und ** ** entity ist ein teil von ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** Physical ist der pfad entlang dem ** ** entity geschieht und ** ** entity endet an ** ** entity %n{nicht} %n{nicht}

consequent

(=>
    (instance ?S Supercharger)
    (hasPurpose ?S
        (exists (?T ?IV ?A)
            (and
                (instance ?T GasMotion)
                (origin ?T ?S)
                (instance ?IV IntakeValve)
                (destination ?T ?IV)
                (instance ?A Air)
                (objectTransferred ?T ?A)
                (holdsDuring
                    (WhenFn ?T)
                    (attribute ?A Pressurized))))))

Cars.kif 5177-5189

Wenn Physical ist ein fall von Supercharger %n{nicht},
dann ** Physical hat Zweck von es gibt entity, ** entity, and und ** entity um ** entity ist ein fall von GasMotion %n{nicht} und ** entity beginnet an ** Physical %n{nicht} und ** ** entity ist ein fall von IntakeValve %n{nicht} und ** entity endet an ** ** entity %n{nicht} und ** ** entity ist ein fall von Air %n{nicht} und objectTransferred ** entity and ** ** entity und Pressurized ist ein attribut von ** ** entity %n{nicht} haelt waehrend die zeit des Bestehens von ** 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: