|
|
   Public
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Public EnglishLanguage "a body of people sharing some common interest; example: the reading public.") | Mid-level-ontology.kif 26110-26111 | |
| (subclass Public GroupOfPeople) | Mid-level-ontology.kif 26109-26109 | Public は GroupOfPeople の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Public "上市") | domainEnglishFormat.kif 47956-47956 | |
| (termFormat ChineseTraditionalLanguage Public "上市") | domainEnglishFormat.kif 47955-47955 | |
| (termFormat EnglishLanguage Public "public") | domainEnglishFormat.kif 47954-47954 |
| antecedent |
|
|
| (=> (holdsDuring ?T1 (and (member ?AGENT1 Public) (member ?AGENT2 Public) (not (equal ?AGENT1 ?AGENT2)))) (exists (?INTEREST) (holdsDuring ?T1 (and (desires ?AGENT1 ?INTEREST) (desires ?AGENT2 ?INTEREST))))) |
Mid-level-ontology.kif 26113-26124 |
| consequent |
|
|
| (=> (and (instance ?PP PublicProgram) (experiencer ?PP ?PUBLIC)) (hasPurpose ?PP (exists (?HELPING) (and (instance ?HELPING Helping) (experiencer ?HELPING ?PUBLIC) (instance ?PUBLIC Public))))) |
MilitaryProcesses.kif 1383-1392 |
|
| (=> (instance ?A Appointing) (not (exists (?H) (and (agent ?A ?H) (instance ?H Public))))) |
Mid-level-ontology.kif 1050-1056 |
|
|
|
|