Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| phoneNumber |
| appearance as argument number 1 |
|
| (instance phoneNumber BinaryPredicate) | FinancialOntology.kif 3736-3736 | phone number is an instance of binary predicate |
| (subrelation phoneNumber refers) | FinancialOntology.kif 3737-3737 | phone number is a subrelation of refers |
| (domain phoneNumber 1 SymbolicString) | FinancialOntology.kif 3738-3738 | The number 1 argument of phone number is an instance of symbolic string |
| (domain phoneNumber 2 Telephone) | FinancialOntology.kif 3739-3739 | The number 2 argument of phone number is an instance of telephone |
| (documentation phoneNumber EnglishLanguage "(phoneNumber ?Phone ?Agent) holds if ?Phone is a phone number corresponding to the Telephone ?Phone.") | FinancialOntology.kif 3740-3741 | The number 2 argument of phone number is an instance of telephone |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage phoneNumber "%2 is %n a phone number of %1") | domainEnglishFormat.kif 1961-1961 | |
| (format ChineseTraditionalLanguage phoneNumber "%2 %n 是 %1 的 phone 號碼") | domainEnglishFormat.kif 1962-1962 | |
| (format ChineseLanguage phoneNumber "%2 %n 是 %1 的 phone 号码") | domainEnglishFormat.kif 1963-1963 | |
| (termFormat EnglishLanguage phoneNumber "phone number") | domainEnglishFormat.kif 45587-45587 | |
| (termFormat ChineseTraditionalLanguage phoneNumber "電話號碼") | domainEnglishFormat.kif 45588-45588 | |
| (termFormat ChineseLanguage phoneNumber "电话号码") | domainEnglishFormat.kif 45589-45589 |
| consequent |
|
|
| (=> (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 |
| (=> (eveningPhone ?Number ?Agent) (exists (?Phone ?Hour ?Num) (and (phoneNumber ?Number ?Phone) (greaterThan ?Num 18) (lessThan ?Num 6) (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 3793-3813 | If X is an evening 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 18 (4) V is less than 6 (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 |
|