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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LongAndThin
LongAndThin(long and thin)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2797-2799
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11375-11375
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11374-11374
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11372-11372
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11381-11381
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11377-11377
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11373-11373
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10103-10103
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11380-11380
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11378-11378
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11376-11376
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11371-11371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2801-2801 Long and thin is an instance of shape attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34979-34979
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34978-34978
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34977-34977

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4287-4299
No TPTP formula. May not be expressible in strict first order. Cars.kif 4301-4314
No TPTP formula. May not be expressible in strict first order. Merge.kif 17882-17892
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2803-2816

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2622-2630
No TPTP formula. May not be expressible in strict first order. Food.kif 3464-3472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2863-2865
No TPTP formula. May not be expressible in strict first order. Cars.kif 898-900
No TPTP formula. May not be expressible in strict first order. Cars.kif 4126-4128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9581-9585
No TPTP formula. May not be expressible in strict first order. Cars.kif 4275-4285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1262-1264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1266-1269
No TPTP formula. May not be expressible in strict first order. Merge.kif 17943-17945
No TPTP formula. May not be expressible in strict first order. Merge.kif 17894-17903


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