coworker |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23008-23011 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23013-23013 | Le nombre 1 argument de coworker est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23014-23014 | Le nombre 2 argument de coworker est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23005-23005 | coworker est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23006-23006 | coworker est une instance de relation sym�trique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23015-23015 | coworker est une sous-relation de mutualAcquaintance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 572-572 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 571-571 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 570-570 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17670-17670 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17669-17669 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17668-17668 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23017-23026 |
statement |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2453-2457 | Position temporel position temporel est une instance de l' ann�e 1976 coworker SteveJobsOfApple and SteveWozniakOfApple pendant position temporel |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2441-2445 | Position temporel position temporel est une instance de l' ann�e 2002 coworker SteveJobsOfApple and TimCookOfApple pendant position temporel |