![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(instance SteveJobsOfApple Human) | ComputingBrands.kif 2415-2415 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage SteveJobsOfApple "史蒂芬·贾伯斯") | ComputingBrands.kif 2418-2418 | |
(termFormat ChineseTraditionalLanguage SteveJobsOfApple "史蒂芬·賈伯斯") | ComputingBrands.kif 2417-2417 | |
(termFormat EnglishLanguage SteveJobsOfApple "Steve Jobs") | ComputingBrands.kif 2416-2416 | |
(termFormat JapaneseLanguage SteveJobsOfApple "スティーブ・ジョブズ氏") | ComputingBrands.kif 2419-2419 |
statement |
![]() |
(exists (?T) (and (instance ?T (YearFn 1976)) (holdsDuring ?T (coworker SteveJobsOfApple SteveWozniakOfApple)))) |
ComputingBrands.kif 2421-2425 | |
(exists (?T) (and (instance ?T (YearFn 2002)) (holdsDuring ?T (coworker SteveJobsOfApple TimCookOfApple)))) |
ComputingBrands.kif 2409-2413 |
![]() |
![]() |