postContactSite |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24613-24616 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24611-24611 | The number 1 argument of post contact site is an instance of postal place |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24612-24612 | The number 2 argument of post contact site is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24609-24609 | post contact site is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24610-24610 | post contact site is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24617-24617 | post contact site is a subrelation of site for contact |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4154-4154 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4153-4153 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4152-4152 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23230-23230 | home address is a subrelation of post contact site |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23218-23218 | work address is a subrelation of post contact site |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65904-65904 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6716-6719 |
|