TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3791-3793
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17131-17135
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17129-17129	The number 1 argument of faces is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17130-17130	The number 2 argument of faces is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17128-17128	faces is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 107-107
No TPTP formula. May not be expressible in strict first order.	english_format.kif 107-107
No TPTP formula. May not be expressible in strict first order.	french_format.kif 76-76
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 107-107
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1902-1902
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 28-28
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 124-124
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 147-147
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 95-95
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 75-75
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 224-224
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 108-108
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23101-23101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23100-23100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23099-23099
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 36-36
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 225-225

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17137-17142

If an entity faces another entity holds during a time position,
then for all a third entity
- if the entity faces the third entity holds during the time position,
- then equal the third entity and the other entity

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 17137-17142

If an entity faces another entity holds during a time position,
then for all a third entity
- if the entity faces the third entity holds during the time position,
- then equal the third entity and the other entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: