TreeView Knowledge Base Browser - AirportStagingArea

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

AirportStagingArea

Sigma KEE - AirportStagingArea

AirportStagingArea

appearance as argument number 1

(documentation AirportStagingArea EnglishLanguage "An AirportStagingArea is a designated area where equipment can be staged prior to the arrival or departure of an aircraft.[Wikipedia]")	Transportation.kif 1308-1309
(subclass AirportStagingArea Region)	Transportation.kif 1307-1307	AirportStagingArea is a subclass of region

appearance as argument number 2

(termFormat EnglishLanguage AirportStagingArea "airport staging area")

domainEnglishFormat.kif 6249-6249

antecedent

(=> (instance ?S AirportStagingArea) (exists (?A) (and (instance ?A Airport) (located ?S ?A))))	Transportation.kif 1311-1316	If a physical is an instance of AirportStagingArea, then there exists an object such that the object is an instance of Airport and the physical is located at the object
(=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?B ?C ?D ?T) (and (instance ?B Boarding) (instance ?C Collection) (instrument ?B ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?B))))))	Transportation.kif 1318-1329	If a physical is an instance of AirportStagingArea, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of Boarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and locatedAtTime the other entity, the fourth entity and the physical and the fourth entity takes place during the time of existence of the entity
(=> (instance ?S AirportStagingArea) (hasPurpose ?S (exists (?DB ?C ?D ?T) (and (instance ?DB Deboarding) (instance ?C Collection) (instrument ?DB ?C) (member ?D ?C) (instance ?D Device) (locatedAtTime ?C ?T ?S) (during ?T (WhenFn ?DB))))))	Transportation.kif 1331-1342	If a physical is an instance of AirportStagingArea, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of Deboarding and the other entity is an instance of collection and the other entity is an instrument for the entity and the third entity is a member of the other entity and the third entity is an instance of device and locatedAtTime the other entity, the fourth entity and the physical and the fourth entity takes place during the time of existence of the 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