Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalFacilityTypeInArea

 Sigma KEE - totalFacilityTypeInArea
totalFacilityTypeInArea

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1216-1219
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1213-1213 O argumento numero 1 de totalFacilityTypeInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1214-1214 O argumento numero 2 de totalFacilityTypeInArea e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1215-1215 O argumento numero 3 de totalFacilityTypeInArea e' uma instancia de Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1212-1212 totalFacilityTypeInArea e' uma instancia de Predicado Ternario

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2491-2491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2490-2490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2489-2489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58550-58550
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58549-58549
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58548-58548

antecedent
-------------------------


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 1221-1228 totalFacilityTypeInArea Area Geografica, Classe and Numero Inteiro nao-negativo 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
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1237-1245
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1289-1296
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1230-1235


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