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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - synonymousExternalConcept
synonymousExternalConcept

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 641-641 synonymousExternalConcept e subsumedExternalConcept sao disjuntos
No TPTP formula. May not be expressible in strict first order. Merge.kif 642-642 synonymousExternalConcept e subsumingExternalConcept sao disjuntos
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1524-1526
No TPTP formula. May not be expressible in strict first order. Merge.kif 645-647
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 90-91
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 104-106
No TPTP formula. May not be expressible in strict first order. Merge.kif 636-636 O argumento numero 1 de synonymousExternalConcept e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Merge.kif 637-637 O argumento numero 2 de synonymousExternalConcept e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 638-638 O argumento numero 3 de synonymousExternalConcept e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order. Merge.kif 640-640 synonymousExternalConcept e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order. Merge.kif 635-635 synonymousExternalConcept e' uma sub-relacao de relatedExternalConcept

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 338-338
No TPTP formula. May not be expressible in strict first order. english_format.kif 342-342
No TPTP formula. May not be expressible in strict first order. french_format.kif 191-191
No TPTP formula. May not be expressible in strict first order. relations-it.txt 291-291
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2011-2011
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 143-143
No TPTP formula. May not be expressible in strict first order. relations-de.txt 445-445
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 327-327
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 211-211
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 202-202
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 483-483
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56607-56607
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 339-339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56606-56606
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56605-56605

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 497-497
No TPTP formula. May not be expressible in strict first order. Military.kif 496-496
No TPTP formula. May not be expressible in strict first order. Military.kif 498-498
No TPTP formula. May not be expressible in strict first order. Military.kif 487-487
No TPTP formula. May not be expressible in strict first order. Military.kif 486-486
No TPTP formula. May not be expressible in strict first order. Military.kif 488-488
No TPTP formula. May not be expressible in strict first order. Military.kif 589-589
No TPTP formula. May not be expressible in strict first order. Military.kif 588-588
No TPTP formula. May not be expressible in strict first order. Military.kif 353-353
No TPTP formula. May not be expressible in strict first order. Military.kif 379-379
No TPTP formula. May not be expressible in strict first order. Military.kif 366-366
No TPTP formula. May not be expressible in strict first order. Military.kif 550-550
No TPTP formula. May not be expressible in strict first order. Military.kif 546-546
No TPTP formula. May not be expressible in strict first order. Military.kif 551-551
No TPTP formula. May not be expressible in strict first order. Military.kif 507-507
No TPTP formula. May not be expressible in strict first order. Military.kif 506-506
No TPTP formula. May not be expressible in strict first order. Military.kif 508-508
No TPTP formula. May not be expressible in strict first order. Military.kif 540-540
No TPTP formula. May not be expressible in strict first order. Military.kif 539-539
No TPTP formula. May not be expressible in strict first order. Military.kif 477-477
No TPTP formula. May not be expressible in strict first order. Military.kif 462-462
No TPTP formula. May not be expressible in strict first order. Military.kif 434-434
No TPTP formula. May not be expressible in strict first order. Military.kif 433-433
No TPTP formula. May not be expressible in strict first order. Military.kif 639-639
No TPTP formula. May not be expressible in strict first order. Military.kif 649-649

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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