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 Tailpipe Tube) | Cars.kif 3900-3900 | Tailpipe is a subclass of tube |
| (typicalPart Tailpipe AutomobileExhaustSystem) | Cars.kif 3901-3901 | A tailpipe is typically a part of a exhaust system |
| (typicallyContainsPart Tailpipe AutomobileExhaustSystem) | Cars.kif 3902-3902 | A exhaust system typically has a part tailpipe |
| (documentation Tailpipe EnglishLanguage "Typically the last portion of an AutomobileExhaustSystem, which is after the AutomobileMuffler, just before Engine Exhaust is vented to the surrounding Air.") | Cars.kif 3904-3906 | A exhaust system typically has a part tailpipe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Tailpipe "tailpipe") | Cars.kif 3903-3903 |
| antecedent |
|
|
| (=> (instance ?T Tailpipe) (hasPurpose ?T (exists (?M) (and (instance ?M AutomobileMuffler) (connectedEngineeringComponents ?M ?T))))) |
Cars.kif 3908-3914 | If X is an instance of tailpipe, then X has the purpose there exists Y such that Y is an instance of muffler and Y is connected to X |
| (=> (and (instance ?T Tailpipe) (instance ?TR Transfer) (instance ?E Exhaust) (instance ?A Automobile) (instance ?AES AutomobileExhaustSystem) (part ?T ?A) (path ?TR ?T) (patient ?TR ?E)) (hasPurpose ?T (not (exists (?O) (and (part ?O ?A) (beforeOnPath ?T ?O ?AES ?TR)))))) |
Cars.kif 3916-3931 | If All of the following hold: (1) X is an instance of tailpipe (2) Y is an instance of transfer (3) Z is an instance of exhaust (4) W is an instance of automobile (5) V is an instance of exhaust system (6) X is a part of W (7) X is path along which Y occurs (8) Z is a patient of Y, then X has the purpose there doesn't exist U such that U is a part of W and X before U on path V during Y |
|