Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Carnivore
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LaborStriking OrganizationalProcess) | Mid-level-ontology.kif 18529-18529 | Labor striking is a subclass of organizational process |
| (documentation LaborStriking EnglishLanguage "A Process in which some or all of the employees of an Organization refuse to work until their pay is increased or their working conditions are improved in some respect.") | Mid-level-ontology.kif 18530-18532 | Labor striking is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?STRIKE LaborStriking) (agent ?STRIKE ?PERSON) (instance ?PERSON Human) (patient ?STRIKE ?ORG) (instance ?ORG Organization)) (employs ?ORG ?PERSON)) |
Mid-level-ontology.kif 18534-18541 | If X is an instance of labor striking, Y is an agent of X, Y is an instance of human, Z is a patient of X, and Z is an instance of organization, then Z employs Y |
|