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

Formal Language: 



KB Term:  Term intersection
English Word: 

  synonymousExternalConcept

 Sigma KEE - synonymousExternalConcept
synonymousExternalConcept

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 641-641 synonymous external concept and subsumed external concept are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 642-642 synonymous external concept and subsuming external concept are disjoint
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 The number 1 argument of synonymous external concept is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 637-637 The number 2 argument of synonymous external concept is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 638-638 The number 3 argument of synonymous external concept is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 640-640 synonymous external concept is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 635-635 synonymous external concept is a subrelation of related external concept

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 56605-56605
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 56604-56604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56603-56603

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 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