| PermanentResidence | |
| 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 15837-15838 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15836-15836 | PermanentResidence e' uma sub-classe de Residence |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15823-15823 | Residence e' disjuntamente decomponivel em PermanentResidence + TemporaryResidence |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1502-1502 | ExecutiveResidence e' uma sub-classe de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15866-15866 | SingleFamilyResidence e' uma sub-classe de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45266-45266 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45265-45265 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45264-45264 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14433-14433 | O argumento numero 2 de home e' uma instancia de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23280-23280 | O argumento numero 1 de homeAddress e' uma instancia de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6916-6916 | O argumento numero 2 de landlord e' uma instancia de PermanentResidence |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25083-25090 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15840-15843 |
|
|
|
|