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 2759-2761
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11391-11391
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11390-11390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11388-11388
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11397-11397
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11393-11393
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11389-11389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10112-10112
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11396-11396
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11394-11394
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11392-11392
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11387-11387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2763-2763 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 34962-34962
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34961-34961
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34960-34960

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4290-4302
No TPTP formula. May not be expressible in strict first order. Cars.kif 4304-4317
No TPTP formula. May not be expressible in strict first order. Merge.kif 17620-17630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2765-2777

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


No TPTP formula. May not be expressible in strict first order. Food.kif 600-608
No TPTP formula. May not be expressible in strict first order. Food.kif 881-889
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2824-2826
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 4129-4131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9227-9231
No TPTP formula. May not be expressible in strict first order. Cars.kif 4278-4288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1229-1231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1233-1236
No TPTP formula. May not be expressible in strict first order. Merge.kif 17681-17683
No TPTP formula. May not be expressible in strict first order. Merge.kif 17632-17641


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