Airport - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Airport

Airport

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1268-1269
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1627-1627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2081-2081
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1022-1022
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1266-1266	Airport e' uma sub-classe de AirTransitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1267-1267	Airport e' uma sub-classe de LandTransitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1265-1265	Airport e' uma sub-classe de TransitTerminal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6222-6222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6221-6221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6220-6220

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1357-1364	Objeto e' uma instancia de Airport AirportWithPavedRunway e' um atributo de Objeto Objeto Objeto e' uma instancia de PavedRunway Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1371-1378	Objeto e' uma instancia de Airport AirportWithUnpavedRunway e' um atributo de Objeto Objeto Objeto e' uma instancia de UnpavedRunway Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1445-1457	Objeto e' uma instancia de Airport LongRunwayAirport e' um atributo de Objeto Objeto Numero Real Objeto e' uma instancia de Runway Objeto e' uma &parte de Objeto o comprimento de Objeto e' Numero Real Meter(s) Numero Real e' maior ou igual a 2438 Numero Real e' menor ou igual a 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	Objeto e' uma instancia de Airport MediumLengthRunwayAirport e' um atributo de Objeto Objeto Numero Real Objeto e' uma instancia de Runway Objeto e' uma &parte de Objeto o comprimento de Objeto e' Numero Real Meter(s) Numero Real e' maior ou igual a 1524 Numero Real e' menor ou igual a 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	Objeto e' uma instancia de Airport ShortRunwayAirport e' um atributo de Objeto Objeto Numero Real Objeto e' uma instancia de Runway Objeto e' uma &parte de Objeto o comprimento de Objeto e' Numero Real Meter(s) Numero Real e' maior ou igual a 914 Numero Real e' menor ou igual a 1523
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1464-1474	Objeto e' uma instancia de Airport VeryLongRunwayAirport e' um atributo de Objeto Objeto Numero Real Objeto e' uma instancia de Runway Objeto e' uma &parte de Objeto o comprimento de Objeto e' Numero Real Meter(s) Numero Real e' maior que 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	Objeto e' uma instancia de Airport VeryShortRunwayAirport e' um atributo de Objeto Objeto Numero Real Objeto e' uma instancia de Runway Objeto e' uma &parte de Objeto o comprimento de Objeto e' Numero Real Meter(s) Numero Real e' menos que 914
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2624-2626	Objeto e' uma instancia de Airport trafficableForTrafficType Objeto and Airplane

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1277-1287	totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithPavedRunway and Numero Inteiro nao-negativo Sequencia Simbolica Entidade cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1482-1491	totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithUnpavedRunway and Numero Inteiro nao-negativo Numero Inteiro nao-negativo e' maior que 0 Objeto Objeto Objeto e' uma instancia de Airport Objeto e' uma instancia de UnpavedRunway Objeto e' uma &parte de Objeto Objeto e' situado em Area Geografica
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2071-2080	Processo e' uma instancia de AirportShuttleService Objeto Processo Objeto e' uma instancia de Airport Processo e' um sub-processo de Processo Processo e' uma instancia de Transporte Processo termina em Objeto Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1289-1296	totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithPavedRunway and Numero Inteiro nao-negativo Objeto Objeto Objeto e' uma instancia de Airport Objeto e' uma instancia de PavedRunway Objeto e' uma &parte de Objeto Objeto e' situado em Area Geografica

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