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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mountain

 Sigma KEE - Mountain
Mountain(mountain)
more pictures...		Aconcagua, Adam's_Peak, Adams, Anapurna, Ancohuma, Annapurna, Ararat, Bonete, Cachi, Changtzu, Chimborazo, Communism_Peak, Coropuna, Dapsang, Denali, Dhaulagiri, El_Libertador, El_Muerto, Everest, Galan, Gasherbrum, Godwin_Austen, Gosainthan, Grand_Teton, Handies_Peak, Huascaran, Hubbard, Illampu, Illimani, K2, Kamet, Kanchanjanga, Kanchenjunga, Kilimanjaro, Kinchinjunga, Laudo, Lhotse, Liakoura, Llullaillaco, Logan, Makalu, Matterhorn, McKinley, Mercedario, Mont_Blanc, Monte_Bianco, Mount_Adams, Mount_Ararat, Mount_Bartle_Frere, Mount_Carmel...

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4029-4030
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 669-669
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 690-690
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 665-665
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 673-673
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 678-678
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 672-672
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 667-667
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 684-684
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 691-691
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 687-687
No TPTP formula. May not be expressible in strict first order. pictureList.kif 958-958
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 676-676
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 685-685
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 682-682
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 680-680
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 681-681
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 670-670
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 674-674
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 668-668
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 694-694
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 666-666
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 689-689
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 671-671
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 677-677

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4078-4078 Volcanic mountain is a subclass of mountain
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38973-38973
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38972-38972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38971-38971

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4032-4038

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4016-4024
No TPTP formula. May not be expressible in strict first order. Geography.kif 1808-1813
No TPTP formula. May not be expressible in strict first order. Geography.kif 1801-1806


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