workLocation |
appearance as argument number 1 |
(documentation workLocation EnglishLanguage "A Relation that specifies the typical or primary location where members of an Organization work.") | Mid-level-ontology.kif 20531-20532 | |
(domain workLocation 1 Organization) | Mid-level-ontology.kif 20529-20529 | workLocation の数値 1 引数は 組織 の instance では %n |
(domain workLocation 2 StationaryArtifact) | Mid-level-ontology.kif 20530-20530 | workLocation の数値 2 引数は 固定アーチファクト の instance では %n |
(instance workLocation BinaryPredicate) | Mid-level-ontology.kif 20528-20528 | workLocation は 2進述語 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage workLocation "members of %1 work at %2") | Mid-level-ontology.kif 20533-20533 | |
(termFormat EnglishLanguage workLocation "work location") | domainEnglishFormat.kif 65972-65972 |
antecedent |
(=> (and (workLocation ?O ?S) (member ?P ?O) (instance ?W Working) (agent ?W ?P)) (modalAttribute (located ?W ?S) Likely)) |
Mid-level-ontology.kif 20535-20543 |
consequent |
(=> (instance ?BU BuildingUnit) (exists (?O ?B) (and (instance ?B Building) (instance ?O Organization) (part ?BU ?B) (workLocation ?O ?BU)))) |
Mid-level-ontology.kif 20552-20559 |