mutualStranger |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23358-23358 | mutual stranger and mutual acquaintance are disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23348-23352 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23354-23354 | The number 1 argument of mutual stranger is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23355-23355 | The number 2 argument of mutual stranger is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23345-23345 | mutual stranger is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23346-23346 | mutual stranger is an instance of symmetric relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23356-23356 | mutual stranger is a subrelation of stranger |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1771-1771 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1770-1770 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1769-1769 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39507-39507 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39506-39506 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39505-39505 |