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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LongAndThin
LongAndThin
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2790-2792
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 2794-2794 LongAndThin e' uma instancia de Atributo de Forma

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 4272-4284
No TPTP formula. May not be expressible in strict first order. Cars.kif 4286-4299
No TPTP formula. May not be expressible in strict first order. Merge.kif 17961-17971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2796-2809

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 2856-2858
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 4111-4113
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9608-9612
No TPTP formula. May not be expressible in strict first order. Cars.kif 4260-4270
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1255-1257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1259-1262
No TPTP formula. May not be expressible in strict first order. Merge.kif 18022-18024
No TPTP formula. May not be expressible in strict first order. Merge.kif 17973-17982


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