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 16836-16837
(subclass Deboarding Translocation)	Mid-level-ontology.kif 16834-16834	Deboarding is a subclass of translocation

appearance as argument number 2

(relatedInternalConcept Boarding Deboarding)	Mid-level-ontology.kif 16835-16835	Boarding is internally related to deboarding
(termFormat ChineseLanguage Deboarding "deboarding")	domainEnglishFormat.kif 18795-18795
(termFormat ChineseTraditionalLanguage Deboarding "deboarding")	domainEnglishFormat.kif 18794-18794
(termFormat EnglishLanguage Deboarding "deboarding")	domainEnglishFormat.kif 18793-18793

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 16844-16856	If a process is an instance of deboarding and an agent is an agent of the process and an entity is a patient of the process, then the agent is onboard the entity holds during the beginning of the time of existence of the process and not the agent is onboard the entity holds during the end of the time of existence of the process
(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle))	Mid-level-ontology.kif 16838-16842	If a process is an instance of deboarding and an entity is a patient of the process, then the entity is an instance of vehicle

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 1997-2008

If a physical is an instance of bus stop,
then the physical has the purpose there exist an entity, the entityO and a third entity such that the entity is an instance of bus and the entityO is an instance of boarding and the third entity is an instance of deboarding and the entityO is located at 2 and the third entity is located at 2 and the entity is a patient of the entityO and the entity is a patient of the third entity

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: