telephoneNumber |
appearance as argument number 1 |
(documentation telephoneNumber EnglishLanguage "(%&telephoneNumber ?NUMBER ?AGENT) means that ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted") | Mid-level-ontology.kif 24988-24989 | |
(domain telephoneNumber 1 TelecomNumber) | Mid-level-ontology.kif 24986-24986 | telephoneNumber の数値 1 引数は TelecomNumber の instance では %n |
(domain telephoneNumber 2 AutonomousAgent) | Mid-level-ontology.kif 24987-24987 | telephoneNumber の数値 2 引数は AutonomousAgent の instance では %n |
(instance telephoneNumber AsymmetricRelation) | Mid-level-ontology.kif 24985-24985 | telephoneNumber は 非対称関係 の instance では %n |
(instance telephoneNumber BinaryPredicate) | Mid-level-ontology.kif 24984-24984 | telephoneNumber は 2進述語 の instance では %n |
appearance as argument number 2 |
antecedent |
consequent |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25007-25014 | |
(=> (and (instance ?X TelephoneCommunication) (attribute ?X Local)) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (telephoneNumber ?TEL1 ?ORIGIN) (telephoneNumber ?TEL2 ?DEST) (telecomAreaCode ?CODE ?TEL1) (telecomAreaCode ?CODE ?TEL2)))) |
Mid-level-ontology.kif 27107-27118 |
|