Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sewage Mixture) | Mid-level-ontology.kif 2752-2752 | Sewage is a subclass of mixture |
| (documentation Sewage EnglishLanguage "The byproduct of Animal digestion. Sewage is a waste product that is removed from the body of an animal by a normally functioning BiologicalProcess. Sewage consists largely of substances which the animal cannot digest, or may be harmful, so the breakdown of the biological waste removal process can be evidence or cause of a DiseaseOrSyndrome.") | Mid-level-ontology.kif 2754-2759 | Sewage is a subclass of mixture |
| (roomTempState Sewage Liquid) | Mid-level-ontology.kif 34084-34084 | room temperature state sewage and liquid |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?ANI Animal) (instance ?D DiseaseOrSyndrome) (not (attribute ?ANI ?D))) (exists (?P ?W) (and (instance ?P BiologicalProcess) (instance ?P Removing) (origin ?P ?ANI) (instance ?W Sewage) (experiencer ?P ?ANI) (objectTransferred ?P ?W)))) |
Mid-level-ontology.kif 2761-2774 | If X is an instance of animal, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of biological process (3) Z is an instance of removing (4) Z originates at X (5) W is an instance of sewage (6) X experiences Z (7) the object transferred in Z is W |
| (=> (and (instance ?T Transportation) (patient ?T ?S) (instrument ?T ?SS) (instance ?SS SewageSystem)) (instance ?S Sewage)) |
Transportation.kif 789-795 | If X is an instance of transportation, Y is a patient of X, Z is an instrument for X, and Z is an instance of sewage system, then Y is an instance of sewage |
| (=> (and (instance ?ORG Organization) (attribute ?ORG Utilities)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (or (instance ?EV Removing) (instance ?THING Sewage)) (patient ?EV ?THING) (or (instance ?THING Electron) (instance ?THING Water) (and (instance ?THING PureSubstance) (capability Combustion patient ?THING))) (member ?MEM2 ?ORG) (instance ?EV2 FinancialTransaction) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 948-971 | If X is an instance of organization and utilities is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of removing or W is an instance of sewage (6) W is a patient of Y (7) W is an instance of electron or W is an instance of water or W is an instance of pure substance (8) W is capable of doing burning as a patient (9) V is a member of X (10) U is an instance of financial transaction (11) V is an agent of U (12) W is a patient of U |
|