Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  averagePrecipitationForPeriod

 Sigma KEE - Ambassador
Ambassador

appearance as argument number 1
-------------------------


(documentation Ambassador EnglishLanguage "Ambassador is the Attribute of the most highly-ranked foreign service representatives from the government of one country to another.") Government.kif 4352-4354
(instance Ambassador ForeignServicePosition) Government.kif 4349-4349
(subAttribute Ambassador DiplomaticAgent) Government.kif 4350-4350

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Ambassador "ambassador") domainEnglishFormat.kif 1619-1619

antecedent
-------------------------


(=>
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4623-4625
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4619-4621

consequent
-------------------------


(=>
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2))		 Government.kif 4628-4630


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners