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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Continent

 Sigma KEE - Continent
Continent(大陆)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3341-3344
No TPTP formula. May not be expressible in strict first order. Merge.kif 14183-14188
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2559-2559
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2451-2451
No TPTP formula. May not be expressible in strict first order. Merge.kif 14181-14181 大陆 是 土地面积 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3519-3519 国家 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Geography.kif 3521-3521 非洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3537-3537 南极洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3548-3548 亚洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 43-43 欧洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3527-3527 北美 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3554-3554 大洋洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3531-3531 南美洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 956-956
No TPTP formula. May not be expressible in strict first order. english_format.kif 1119-1119
No TPTP formula. May not be expressible in strict first order. french_format.kif 632-632
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 163-163
No TPTP formula. May not be expressible in strict first order. terms-it.txt 166-166
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2317-2317
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 584-584
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 168-168
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 200-200
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 653-653
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 167-167

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 实体 是 大陆 的 instance 若且唯若 非洲 equal 那个 实体 或 北美 equal 那个 实体 或 南美洲 equal 那个 实体 或 南极洲 equal 那个 实体 或 欧洲 equal 那个 实体 或 亚洲 equal 那个 实体 或 大洋洲 equal 那个 实体
No TPTP formula. May not be expressible in strict first order. Geography.kif 292-296
No TPTP formula. May not be expressible in strict first order. Geography.kif 3515-3517
No TPTP formula. May not be expressible in strict first order. Geography.kif 4508-4510

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3537-3561
No TPTP formula. May not be expressible in strict first order. Merge.kif 14159-14166

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14182-14182 大陆 instance 的数量 equal 7


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