TreeView Knowledge Base Browser - siteForContact

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - siteForContact

siteForContact

appearance as argument number 1

(documentation siteForContact EnglishLanguage "(siteForContact ?ContactSite ?AutonomousAgent) means that the Human or Organization ?AutonomousAgent can be reached at or via the point of contact ?ContactSite.")	Mid-level-ontology.kif 24661-24664
(domain siteForContact 1 ContactSite)	Mid-level-ontology.kif 24659-24659	Die Zahl 1 Argument von siteForContact ist ein fall von ContactSite %n{nicht}
(domain siteForContact 2 AutonomousAgent)	Mid-level-ontology.kif 24660-24660	Die Zahl 2 Argument von siteForContact ist ein fall von AutonomousAgent %n{nicht}
(instance siteForContact AsymmetricRelation)	Mid-level-ontology.kif 24657-24657	siteForContact ist ein fall von AsymmetricRelation %n{nicht}
(instance siteForContact BinaryPredicate)	Mid-level-ontology.kif 24658-24658	siteForContact ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage siteForContact "%2 能是 contacted 在 %1 ")	domainEnglishFormat.kif 4530-4530
(format ChineseTraditionalLanguage siteForContact "%2 能是 contacted 在 %1 ")	domainEnglishFormat.kif 4529-4529
(format EnglishLanguage siteForContact "%2 can be contacted at %1")	domainEnglishFormat.kif 4528-4528
(subrelation postContactSite siteForContact)	Mid-level-ontology.kif 24674-24674	postContactSite ist eine teilrelation von siteForContact
(subrelation telecomContactDevice siteForContact)	Mid-level-ontology.kif 24923-24923	telecomContactDevice ist eine teilrelation von siteForContact
(termFormat EnglishLanguage siteForContact "site for contact")	domainEnglishFormat.kif 65939-65939

consequent

(=> (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}
(=> (telephoneNumber ?NUMBER ?AGENT) (siteForContact ?NUMBER ?AGENT))	Mid-level-ontology.kif 25048-25050	Wenn telephoneNumber TelecomNumber and AutonomousAgent, dann siteForContact TelecomNumber and AutonomousAgent

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