TreeView Knowledge Base Browser - telephoneNumber

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

telephoneNumber

Sigma KEE - telephoneNumber

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 25045-25046
(domain telephoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 25043-25043	Die Zahl 1 Argument von telephoneNumber ist ein fall von TelecomNumber %n{nicht}
(domain telephoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 25044-25044	Die Zahl 2 Argument von telephoneNumber ist ein fall von AutonomousAgent %n{nicht}
(instance telephoneNumber AsymmetricRelation)	Mid-level-ontology.kif 25042-25042	telephoneNumber ist ein fall von AsymmetricRelation %n{nicht}
(instance telephoneNumber BinaryPredicate)	Mid-level-ontology.kif 25041-25041	telephoneNumber ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4766-4766
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ")	domainEnglishFormat.kif 4765-4765
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2")	domainEnglishFormat.kif 4764-4764
(subrelation homePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25077-25077	homePhoneNumber ist eine teilrelation von telephoneNumber
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25177-25177	mobilePhoneNumber ist eine teilrelation von telephoneNumber
(subrelation personalPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25057-25057	personalPhoneNumber ist eine teilrelation von telephoneNumber
(subrelation workPhoneNumber telephoneNumber)	Mid-level-ontology.kif 25107-25107	workPhoneNumber ist eine teilrelation von telephoneNumber
(termFormat ChineseLanguage telephoneNumber "电话号码")	domainEnglishFormat.kif 57322-57322
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼")	domainEnglishFormat.kif 57321-57321
(termFormat EnglishLanguage telephoneNumber "telephone number")	domainEnglishFormat.kif 57320-57320

antecedent

(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE)))	Mid-level-ontology.kif 25092-25101	Wenn Entity ist ein fall von Human %n{nicht} und deviceTelecomNumber entity and entity und telephoneNumber entity and Entity und entity befindet sich an %n{nicht} und entity ist ein fall von Residence %n{nicht} haelt waehrend TimePosition %n{nicht}, dann Entity wohnt in entity haelt waehrend TimePosition %n{nicht}
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25190-25197	Wenn Entity ist ein fall von MobileCellPhone %n{nicht} und deviceTelecomNumber entity and Entity und telephoneNumber entity and entity haelt waehrend TimePosition %n{nicht}, dann mobilePhoneNumber entity and entity haelt waehrend TimePosition %n{nicht}
(=> (and (instance ?H Hotline) (telephoneNumber ?H ?O) (instance ?O Organization)) (hasPurpose ?H (exists (?T) (and (instance ?T Telephoning) (destination ?T ?O) (modalAttribute (exists (?C) (and (instance ?C Communication) (instrument ?C ?H) (equal (BeginFn (WhenFn ?C)) (BeginFn (ImmediateFutureFn (WhenFn ?T)))))) Likely)))))	Mid-level-ontology.kif 25150-25171	Wenn TelecomNumber ist ein fall von Hotline %n{nicht} und telephoneNumber TelecomNumber and AutonomousAgent und AutonomousAgent ist ein fall von Organization %n{nicht}, dann TelecomNumber hat Zweck von es gibt entity um entity ist ein fall von Telephoning %n{nicht} und entity endet an AutonomousAgent %n{nicht} und die Aussage es gibt entity um entity ist ein fall von Communication %n{nicht} und TelecomNumber ist ein instrument fuer entity %n{nicht} und der anfang von die zeit des Bestehens von entity ist gleich der anfang von sofort nach die zeit des Bestehens von ** entity %n{nicht} hat die modale Kraft von Likely %n{nicht}
(=> (telephoneNumber ?NUMBER ?AGENT) (siteForContact ?NUMBER ?AGENT))	Mid-level-ontology.kif 25048-25050	Wenn telephoneNumber TelecomNumber and AutonomousAgent, dann siteForContact TelecomNumber and AutonomousAgent

consequent

(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 25064-25071	Wenn Entity ist ein fall von Telephone %n{nicht} und entity besitzt Entity %n{nicht} und deviceTelecomNumber entity and Entity haelt waehrend TimePosition %n{nicht}, dann telephoneNumber entity and entity haelt waehrend ** TimePosition %n{nicht}
(=> (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 27140-27151	Wenn Object ist ein fall von TelephoneCommunication %n{nicht} und Local ist ein attribut von Object %n{nicht}, dann es gibt TelecomNumber, TelecomNumber,, , AutonomousAgent,, , AutonomousAgent, and und SymbolicString um Object beginnet an AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und telephoneNumber TelecomNumber and AutonomousAgent und telephoneNumber TelecomNumber and AutonomousAgent und telecomAreaCode SymbolicString and TelecomNumber und telecomAreaCode SymbolicString and ** TelecomNumber

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners