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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtensionFn

 Sigma KEE - ExtensionFn
ExtensionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1719-1720
No TPTP formula. May not be expressible in strict first order. Merge.kif 1764-1765
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 324-325
No TPTP formula. May not be expressible in strict first order. Merge.kif 1761-1761 域 延期, 1 and Attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1760-1760 例 延期 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1759-1759 例 延期 and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 1762-1762 範圍 延期 and Class

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 257-257
No TPTP formula. May not be expressible in strict first order. english_format.kif 262-262
No TPTP formula. May not be expressible in strict first order. french_format.kif 147-147
No TPTP formula. May not be expressible in strict first order. relations-it.txt 106-106
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1975-1975
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 99-99
No TPTP formula. May not be expressible in strict first order. relations-de.txt 331-331
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 166-166
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 153-153
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 222-222
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 258-258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22990-22990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22989-22989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22988-22988
No TPTP formula. May not be expressible in strict first order. terms-de.txt 105-105
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 223-223

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 1482-1491
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1289-1296

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 777-783
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2389-2391
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2428-2430

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 144-144 35 是 延期 發達國家 的 cardinality
No TPTP formula. May not be expressible in strict first order. Economy.kif 613-613 126 是 延期 發展中國家 的 cardinality
No TPTP formula. May not be expressible in strict first order. Economy.kif 405-405 42 是 延期 最不發達國家 的 cardinality
No TPTP formula. May not be expressible in strict first order. Economy.kif 229-229 172 是 延期 較未發達國家 的 cardinality
No TPTP formula. May not be expressible in strict first order. Geography.kif 5426-5426 域 流動, 1 and 延期 流體
No TPTP formula. May not be expressible in strict first order. Geography.kif 5427-5427 域 流動, 2 and 延期 流體
No TPTP formula. May not be expressible in strict first order. Weather.kif 11-11 子類 大氣層 and 延期 流體


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