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 16956-16960
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16954-16954	The number 1 argument of faces is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16955-16955	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 16953-16953	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 23098-23098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23097-23097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23096-23096
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 16962-16967

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 the third entity is equal to the other entity

consequent

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

Merge.kif 16962-16967

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 the third entity is equal to the other entity

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

KB Term:			Term intersection

English Word: