| PermanentResidence(permanent residence) | | abode, domicile, dwelling, dwelling_house, habitation, home |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3595-3596 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14637-14638 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14636-14636 | Permanent residence is a subclass of residence |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14623-14623 | Residence is disjointly decomposed into permanent residence and temporary residence |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1492-1492 | Executive residence is a subclass of permanent residence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14666-14666 | Single family residence is a subclass of permanent residence |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45184-45184 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45183-45183 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45182-45182 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13352-13352 | The number 2 argument of home is an instance of permanent residence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21166-21166 | The number 1 argument of home address is an instance of permanent residence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6541-6541 | The number 2 argument of landlord is an instance of permanent residence |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22994-23001 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14640-14643 |
|
|
|
|