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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Horse

 Sigma KEE - Horse
Horse(horse)
more pictures...		Affirmed, American_saddle_horse, Appaloosa, Arab, Arabian, Assault, Citation, Clydesdale, Count_Fleet, Equus_caballus, Equus_caballus_gomelini, Equus_caballus_przevalskii, Equus_caballus_przewalskii, Exmoor, Gallant_Fox, Hyracotherium, Indian_pony, Lipizzan, Lippizan, Lippizaner, Morgan, Omaha, Percheron, Plantation_walking_horse, Przevalski's_horse, Przewalski's_horse, Seattle_Slew, Secretariat, Shetland_pony, Sir_Barton, Tennessee_walker, Tennessee_walking_horse, Walking_horse, War_Admiral, Welsh_pony, Whirlaway, bangtail, bay, bronc, broncho, bronco, bucking_bronco, buckskin, cart_horse, carthorse, cavalry_horse, cayuse, charger, chestnut, coach_horse...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20145-20146
No TPTP formula. May not be expressible in strict first order. pictureList.kif 504-504
No TPTP formula. May not be expressible in strict first order. pictureList.kif 114-114
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 123-123
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 120-120
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 109-109
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 117-117
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 106-106
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 119-119
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 121-121
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 122-122
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 118-118
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 108-108
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 112-112
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 114-114
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 111-111
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 124-124
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 115-115
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 107-107
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 110-110
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 116-116
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 113-113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20144-20144 Horse is a subclass of hoofed mammal

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28581-28581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28580-28580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28579-28579

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20164-20171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4360-4365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4326-4337


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