TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Telephone EnglishLanguage "A Telephone is a CommunicationDevice that enables LinguisticCommunication between nodes in a TelephoneSystem by converting sound into electrical signals that are then transmitted. When the signals are received, they are converted back into sound.")	Mid-level-ontology.kif 2946-2950
(externalImage Telephone "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_4/ telephone_1.png")	pictureList.kif 774-774
(subclass Telephone CommunicationDevice)	Mid-level-ontology.kif 2945-2945	Telephone ist eine teilkategorie von CommunicationDevice
(subclass Telephone ElectricDevice)	Mid-level-ontology.kif 2944-2944	Telephone ist eine teilkategorie von ElectricDevice
(subclass Telephone TelephonyDevice)	Mid-level-ontology.kif 24631-24631	Telephone ist eine teilkategorie von TelephonyDevice

appearance as argument number 2

(subclass FixedPhone Telephone)	Mid-level-ontology.kif 25117-25117	FixedPhone ist eine teilkategorie von Telephone
(subclass MobileCellPhone Telephone)	Mid-level-ontology.kif 25120-25120	MobileCellPhone ist eine teilkategorie von Telephone
(subclass SatellitePhone Telephone)	Mid-level-ontology.kif 25127-25127	SatellitePhone ist eine teilkategorie von Telephone
(subclass TDDPhone Telephone)	Mid-level-ontology.kif 26310-26310	TDDPhone ist eine teilkategorie von Telephone
(termFormat ChineseLanguage Telephone "电话")	domainEnglishFormat.kif 57292-57292
(termFormat ChineseTraditionalLanguage Telephone "電話")	domainEnglishFormat.kif 57291-57291
(termFormat EnglishLanguage Telephone "telephone")	domainEnglishFormat.kif 57290-57290

appearance as argument number 3

(domain phoneNumber 2 Telephone)

FinancialOntology.kif 3681-3681

Die Zahl 2 Argument von phoneNumber ist ein fall von Telephone %n{nicht}

antecedent

(=>
    (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}

consequent

(=> (instance ?SYSTEM TelephoneSystem) (exists (?PHONE) (and (instance ?PHONE Telephone) (engineeringSubcomponent ?PHONE ?SYSTEM))))	Communications.kif 40-45	Wenn EngineeringComponent ist ein fall von TelephoneSystem %n{nicht}, dann es gibt EngineeringComponent um EngineeringComponent ist ein fall von Telephone %n{nicht} und EngineeringComponent ist eine komponente von EngineeringComponent
(=> (instance ?TEL Telephoning) (exists (?DEVICE) (and (instance ?DEVICE Telephone) (instrument ?TEL ?DEVICE))))	Mid-level-ontology.kif 2959-2964	Wenn Process ist ein fall von Telephoning %n{nicht}, dann es gibt Object um Object ist ein fall von Telephone %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (instance ?TL TelephoneLine) (exists (?T1 ?T2) (and (or (instance ?T1 Telephone) (instance ?T1 Telegraph)) (or (instance ?T2 Telephone) (instance ?T2 Telegraph)) (not (equal ?T1 ?T2)) (connects ?TL ?T1 ?T2))))	Mid-level-ontology.kif 3630-3641	Wenn Object ist ein fall von TelephoneLine %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Telephone %n{nicht} oder Object ist ein fall von Telegraph %n{nicht} und Object ist ein fall von Telephone %n{nicht} oder Object ist ein fall von Telegraph %n{nicht} und Object ist gleich Object nicht und Object schleisst Object und ** Object an
(=> (instance ?X TelephoneCommunication) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (siteForContact ?ORIGIN ?TEL1) (siteForContact ?DEST ?TEL2) (instance ?TEL1 Telephone) (instance ?TEL2 Telephone) (instrument ?X ?TEL1) (instrument ?X ?TEL2))))	Mid-level-ontology.kif 27060-27071	Wenn Process ist ein fall von TelephoneCommunication %n{nicht}, dann es gibt AutonomousAgent, AutonomousAgent,, , ContactSite, and und ContactSite um Process beginnet an ContactSite %n{nicht} und Process endet an ContactSite %n{nicht} und siteForContact ContactSite and AutonomousAgent und siteForContact ContactSite and AutonomousAgent und AutonomousAgent ist ein fall von Telephone %n{nicht} und AutonomousAgent ist ein fall von Telephone %n{nicht} und AutonomousAgent ist ein instrument fuer Process %n{nicht} und AutonomousAgent ist ein instrument fuer ** Process %n{nicht}

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

KB Term:			Term intersection

English Word: