Deboarding - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Deboarding EnglishLanguage "Getting off a Vehicle, e.g. getting out of an Automobile, deplaning, getting off a WaterVehicle, etc.")	Mid-level-ontology.kif 17418-17419
(subclass Deboarding Translocation)	Mid-level-ontology.kif 17416-17416	Deboarding ist eine teilkategorie von Translocation

appearance as argument number 2

(relatedInternalConcept Boarding Deboarding)	Mid-level-ontology.kif 17417-17417	Boarding ist innerlich verwandt mit Deboarding %n{nicht}
(termFormat ChineseLanguage Deboarding "deboarding")	domainEnglishFormat.kif 18804-18804
(termFormat ChineseTraditionalLanguage Deboarding "deboarding")	domainEnglishFormat.kif 18803-18803
(termFormat EnglishLanguage Deboarding "deboarding")	domainEnglishFormat.kif 18802-18802

antecedent

(=> (and (instance ?B Deboarding) (agent ?B ?A) (patient ?B ?V)) (and (holdsDuring (BeginFn (WhenFn ?B)) (onboard ?A ?V)) (holdsDuring (EndFn (WhenFn ?B)) (not (onboard ?A ?V)))))	Mid-level-ontology.kif 17426-17438	Wenn Process ist ein fall von Deboarding %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann onboard AutonomousAgent and Entity haelt waehrend der anfang von die zeit des Bestehens von Process %n{nicht} und onboard AutonomousAgent and Entity haelt waehrend das ende von die zeit des Bestehens von Process %n{nicht}
(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle))	Mid-level-ontology.kif 17420-17424	Wenn Process ist ein fall von Deboarding %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Vehicle %n{nicht}

consequent

(=>
    (instance ?X BusStop)
    (hasPurpose ?X
        (exists (?B ?BO ?D)
            (and
                (instance ?B Bus)
                (instance ?BO Boarding)
                (instance ?D Deboarding)
                (eventLocated ?BO ?X)
                (eventLocated ?D ?X)
                (patient ?BO ?B)
                (patient ?D ?B)))))

Transportation.kif 1989-2000

Wenn Physical ist ein fall von BusStop %n{nicht},
dann ** Physical hat Zweck von es gibt entity, ** entityO, and und ** entity um ** entity ist ein fall von Bus %n{nicht} und ** entityO ist ein fall von Boarding %n{nicht} und ** ** entity ist ein fall von Deboarding %n{nicht} und eventLocated ** entityO and ** Physical und eventLocated ** ** entity and ** Physical und ** entity ist ein patient von ** entityO %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} %n{nicht}

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: