Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dayPhone |
| appearance as argument number 1 |
|
| (instance dayPhone BinaryPredicate) | FinancialOntology.kif 3743-3743 | day phone is an instance of binary predicate |
| (domain dayPhone 1 SymbolicString) | FinancialOntology.kif 3744-3744 | The number 1 argument of day phone is an instance of symbolic string |
| (domain dayPhone 2 AutonomousAgent) | FinancialOntology.kif 3745-3745 | The number 2 argument of day phone is an instance of agent |
| (documentation dayPhone EnglishLanguage "(dayPhone ?Phone ?Agent) means that ?Phone is a phone number corresponding to the phone at which ?Agent can be reached during the day.") | FinancialOntology.kif 3746-3747 | The number 2 argument of day phone is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage dayPhone "%2 is %n a day phone of %1") | domainEnglishFormat.kif 674-674 | |
| (format ChineseTraditionalLanguage dayPhone "%2 %n 是 %1 的 day 電話") | domainEnglishFormat.kif 675-675 | |
| (format ChineseLanguage dayPhone "%2 %n 是 %1 的 day 电话") | domainEnglishFormat.kif 676-676 | |
| (termFormat EnglishLanguage dayPhone "day phone") | domainEnglishFormat.kif 18690-18690 | |
| (termFormat ChineseTraditionalLanguage dayPhone "一天的電話") | domainEnglishFormat.kif 18691-18691 | |
| (termFormat ChineseLanguage dayPhone "一天的电话") | domainEnglishFormat.kif 18692-18692 |
| antecedent |
|
|
| (=> (dayPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 6) (lessThan ?Num 18) (instance ?TIME (HourFn ?Num ?Day)) (holdsDuring ?TIME (exists (?T) (and (instance ?T Telephoning) (destination ?T ?Agent) (patient ?T ?Phone) (possesses ?Agent ?Phone) (modalAttribute (exists (?A) (and (instance ?A Answering) (subProcess ?A ?T) (agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3749-3769 | If X is a day phone of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a phone number of Y (3) V is greater than 6 (4) V is less than 18 (5) U is an instance of the hour V (6) there exists T such that T is an instance of telephoning (7) T ends up at X (8) Z is a patient of T (9) X possesses Z (10) the statement there exists S such that S is an instance of answering (11) S is a subprocess of T (12) X is an agent of S has the modal force of likely holds during U |
|