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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicPartTypeFn

 Sigma KEE - GeographicPartTypeFn
GeographicPartTypeFn

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6916-6919
No TPTP formula. May not be expressible in strict first order. Geography.kif 6914-6914 域 GeographicPartTypeFn, 2 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6913-6913 域子類 GeographicPartTypeFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6912-6912 例 GeographicPartTypeFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Geography.kif 6915-6915 範圍子類 GeographicPartTypeFn and GeographicArea

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3518-3518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3517-3517
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3516-3516
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64932-64932

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6931-6936
No TPTP formula. May not be expressible in strict first order. Geography.kif 6938-6942
No TPTP formula. May not be expressible in strict first order. Geography.kif 6921-6923
No TPTP formula. May not be expressible in strict first order. Geography.kif 6927-6929

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6976-6976 等於 美國國家 and StateOrProvince 所有的 instances 在 美國


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