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 域 區域總設施類型, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1214-1214 域 區域總設施類型, 2 and Class
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1215-1215 域 區域總設施類型, 3 and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1212-1212 例 區域總設施類型 and TernaryPredicate

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 GeographicArea 是 對於 NonnegativeInteger 在地區 延期 機場有著鋪設跑道 的 total 設施類別 SymbolicString entity NonnegativeInteger 是 卡帕 SymbolicString and 例 SymbolicString and 飛機場 例 entity and 鋪好的跑道 部分 entity and SymbolicString 位於 SymbolicString and GeographicArea 的 cardinality
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1221-1228 GeographicArea 是 對於 NonnegativeInteger 在地區 Class 的 total 設施類別 NonnegativeInteger 是 卡帕 SymbolicString and 例 SymbolicString and Class 位於 SymbolicString and GeographicArea 的 cardinality
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