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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - deceptiveIdentifier
deceptiveIdentifier

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


(documentation deceptiveIdentifier EnglishLanguage "(deceptiveIdentifier ?OBJ ?AGENT) means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' identity, when in fact it is not.") Mid-level-ontology.kif 23378-23380
(domain deceptiveIdentifier 1 ContentBearingObject) Mid-level-ontology.kif 23373-23373 The number 1 argument of deceptive identifier is an instance of content bearing object
(domain deceptiveIdentifier 2 AutonomousAgent) Mid-level-ontology.kif 23374-23374 The number 2 argument of deceptive identifier is an instance of agent
(instance deceptiveIdentifier AsymmetricRelation) Mid-level-ontology.kif 23372-23372 deceptive identifier is an instance of asymmetric relation
(instance deceptiveIdentifier BinaryPredicate) Mid-level-ontology.kif 23371-23371 deceptive identifier is an instance of binary predicate
(subrelation deceptiveIdentifier refers) Mid-level-ontology.kif 23375-23375 deceptive identifier is a subrelation of refers

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


(format ChineseLanguage deceptiveIdentifier "%2 %n 是 %1 的 deceptive 识别码") domainEnglishFormat.kif 696-696
(format ChineseTraditionalLanguage deceptiveIdentifier "%2 %n 是 %1 的 deceptive 識別碼") domainEnglishFormat.kif 695-695
(format EnglishLanguage deceptiveIdentifier "%2 is %n a deceptive identifier of %1") domainEnglishFormat.kif 694-694
(subrelation alias deceptiveIdentifier) Mid-level-ontology.kif 23376-23376 alias is a subrelation of deceptive identifier
(termFormat ChineseLanguage deceptiveIdentifier "欺骗性标识符") domainEnglishFormat.kif 18816-18816
(termFormat ChineseTraditionalLanguage deceptiveIdentifier "欺騙性標識符") domainEnglishFormat.kif 18815-18815
(termFormat EnglishLanguage deceptiveIdentifier "deceptive identifier") domainEnglishFormat.kif 18814-18814


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



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