TreeView 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 17446-17447
(subclass Deboarding Translocation)	Mid-level-ontology.kif 17444-17444	Deboarding ist eine teilkategorie von Translocation

appearance as argument number 2

(relatedInternalConcept Boarding Deboarding)	Mid-level-ontology.kif 17445-17445	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 17454-17466	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 17448-17452	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 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: