TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1496-1498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 373-377
No TPTP formula. May not be expressible in strict first order.	Merge.kif 369-369	The number 1 argument of documentation is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 370-370	The number 2 argument of documentation is an instance of human language
No TPTP formula. May not be expressible in strict first order.	Merge.kif 371-371	The number 3 argument of documentation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Merge.kif 368-368	documentation is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 97-97
No TPTP formula. May not be expressible in strict first order.	english_format.kif 97-97
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20044-20044
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 98-98
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20043-20043
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20042-20042

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2535-2535
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1172-1175
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1650-1658
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3429
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4625-4627
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26265-26266
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1125-1134
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1206-1231
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1139-1151
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1891-1896
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1179-1185
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25444-25445
No TPTP formula. May not be expressible in strict first order.	Communications.kif 295-296
No TPTP formula. May not be expressible in strict first order.	Communications.kif 237-239
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3170-3172
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2913-2915
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1576-1585
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5380-5389
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3473-3474
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3597-3601
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3673-3673
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4816-4817
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2140-2146
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2132-2138
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2148-2154

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: