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 | Die Zahl 1 Argument von telephoneNumber ist ein fall von TelecomNumber %n{nicht} |
(domain telephoneNumber 2 AutonomousAgent) | Mid-level-ontology.kif 24986-24986 | Die Zahl 2 Argument von telephoneNumber ist ein fall von AutonomousAgent %n{nicht} |
(instance telephoneNumber AsymmetricRelation) | Mid-level-ontology.kif 24984-24984 | telephoneNumber ist ein fall von AsymmetricRelation %n{nicht} |
(instance telephoneNumber BinaryPredicate) | Mid-level-ontology.kif 24983-24983 | telephoneNumber ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
antecedent |
consequent |