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

Formal Language: 



KB Term:  Term intersection
English Word: 

  relatedExternalConcept

 Sigma KEE - relatedExternalConcept
relatedExternalConcept

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1522-1523
No TPTP formula. May not be expressible in strict first order. Merge.kif 631-633
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 88-89
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 101-103
No TPTP formula. May not be expressible in strict first order. Merge.kif 626-626 O argumento numero 1 de relatedExternalConcept e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Merge.kif 627-627 O argumento numero 2 de relatedExternalConcept e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 628-628 O argumento numero 3 de relatedExternalConcept e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order. Merge.kif 625-625 relatedExternalConcept e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order. Merge.kif 629-629 relatedExternalConcept e' relacionado internamente por SUMO a relatedInternalConcept

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 331-331
No TPTP formula. May not be expressible in strict first order. english_format.kif 336-336
No TPTP formula. May not be expressible in strict first order. french_format.kif 188-188
No TPTP formula. May not be expressible in strict first order. relations-it.txt 248-248
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2008-2008
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 140-140
No TPTP formula. May not be expressible in strict first order. relations-de.txt 436-436
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 286-286
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 208-208
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 199-199
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 440-440
No TPTP formula. May not be expressible in strict first order. Merge.kif 661-661 subsumedExternalConcept e' uma sub-relacao de relatedExternalConcept
No TPTP formula. May not be expressible in strict first order. Merge.kif 649-649 subsumingExternalConcept e' uma sub-relacao de relatedExternalConcept
No TPTP formula. May not be expressible in strict first order. Merge.kif 635-635 synonymousExternalConcept e' uma sub-relacao de relatedExternalConcept
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 332-332
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49310-49310
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49309-49309
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49308-49308


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