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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6913-6913 GeographicPartTypeFn 的 1 数量 是 地理区域subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6912-6912 GeographicPartTypeFn二元函数instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6915-6915 GeographicPartTypeFn 的所得值 是 地理区域subclass

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 美国国家 equal 州或省 所有的 instances美国


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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