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 24987-24988 | |
(domain telephoneNumber 1 TelecomNumber) | Mid-level-ontology.kif 24985-24985 | Il numero 1 argomenti di telephoneNumber è un istanza di TelecomNumber |
(domain telephoneNumber 2 AutonomousAgent) | Mid-level-ontology.kif 24986-24986 | Il numero 2 argomenti di telephoneNumber è un istanza di AutonomousAgent |
(instance telephoneNumber AsymmetricRelation) | Mid-level-ontology.kif 24984-24984 | telephoneNumber è un' istanza di RelazioneAsimmetrica |
(instance telephoneNumber BinaryPredicate) | Mid-level-ontology.kif 24983-24983 | telephoneNumber è un' istanza di PredicatoBinario |
appearance as argument number 2 |
antecedent |
consequent |