Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Clicking
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 | IPhone is a subclass of mobile cell phone |
| (subclass AppleIPhone AppleComputer) | ComputingBrands.kif 628-628 | IPhone is a subclass of Apple Computer |
| (documentation AppleIPhone EnglishLanguage "MobileCellPhone developed and sold by AppleComputerCorporation") | ComputingBrands.kif 629-630 | IPhone is a subclass of Apple Computer |
| (documentation AppleIPhone ChineseTraditionalLanguage "由 AppleComputerCorporation 開發並且販售的 MobileCellPhone 。") | ComputingBrands.kif 631-631 | IPhone is a subclass of Apple Computer |
| (documentation AppleIPhone ChineseLanguage "由 AppleComputerCorporation 开发并且发售的 MobileCellPhone 。") | ComputingBrands.kif 632-632 | IPhone is a subclass of Apple Computer |
| (documentation AppleIPhone JapaneseLanguage "MobileCellPhoneはAppleComputerCorporation によって開発そして販売されている。") | ComputingBrands.kif 633-634 | IPhone is a subclass of Apple Computer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?B BasebandForIPhone) (instance ?I AppleIPhone)) (runsOn ?B ?I)) |
ComputingBrands.kif 2242-2246 | If X is an instance of baseband and Y is an instance of iPhone, then X can be ComputerProcesses on Y |
| consequent |
|
|
| (=> (instance ?FMIP FindMyIPhone) (hasPurpose ?FMIP (exists (?A ?IP ?P ?L) (and (instance ?IP AppleIPhone) (instrument ?P ?FMIP) (agent ?P ?A) (patient ?P ?IP) (holdsDuring (ImmediatePastFn (WhenFn ?P)) (not (knows ?A (located ?IP ?L)))) (holdsDuring (ImmediateFutureFn (WhenFn ?P)) (knows ?A (located ?IP ?L))))))) |
ComputingBrands.kif 4169-4188 | If X is an instance of FMIP, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Z is an instance of iPhone (3) X is an instrument for W (4) Y is an agent of W (5) Z is a patient of W (6) Y doesn't know Z is not located at V holds during immediately before the time of existence of W (7) Y knows Z is located at V holds during immediately after the time of existence of W |
|