TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15799-15799	Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3593-3594
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15800-15801
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10231-10231
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11759-11759
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11760-11760
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24596-24596	Residence is a subclass of postal place
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15798-15798	Residence is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6756-6756	Mobile residence is disjoint from residence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15812-15812	Permanent residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15826-15826	Residential building is a subclass of residence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15821-15821	Temporary residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49622-49622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49621-49621
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49620-49620

appearance as argument number 3

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

Mid-level-ontology.kif 6904-6904

The number 2 argument of tenant is an instance of residence

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25034-25043	If an entity is an instance of human and another entity has number a third entity and the third entity is the telephone number of the entity and the other entity is located at a fourth entity and the fourth entity is an instance of residence holds during a time position, then the entity lives in the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15803-15810	If an object is an instance of residence, then the object is an instance of house or there exists another object such that the other object is an instance of residential building and the object is a part of the other object

statement

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

Mid-level-ontology.kif 7665-7665