TreeView Knowledge Base Browser - synonymousExternalConcept

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 641-641	不相交的關係同義外部概念 and 包含外部概念
No TPTP formula. May not be expressible in strict first order.	Merge.kif 642-642	不相交的關係同義外部概念 and 包含外在概念
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	域同義外部概念, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Merge.kif 637-637	域同義外部概念, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 638-638	域同義外部概念, 3 and Language
No TPTP formula. May not be expressible in strict first order.	Merge.kif 640-640	例同義外部概念 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 635-635	子關係同義外部概念 and 相關的外部概念

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)

KB Term:			Term intersection

English Word: