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 Le nombre 1 argument de totalFacilityTypeInArea est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1214-1214 Le nombre 2 argument de totalFacilityTypeInArea est une instance de classe
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1215-1215 Le nombre 3 argument de totalFacilityTypeInArea est une instance de nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1212-1212 totalFacilityTypeInArea est une instance de pr�dicat ternaire

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 secteur g�ographique, la classe correspondant � AirportWithPavedRunway and nombre entier non n�gatif cha�ne sympbolique entit� cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1221-1228 totalFacilityTypeInArea secteur g�ographique, classe and nombre entier non n�gatif cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif
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