| appearance as argument number 1 |
|
| (documentation represents ChineseLanguage "这是一个十分概括的符号 Predicate， (represents ?THING ?ENTITY) 的意思是 ?THING 在某些方面表示、表意味、 想象和形容 ?ENTITY等等。 Predicate containsInformation 和 realization 是 represents 的子关系。注： represents 是 refers 的子关系，因为只有当一样东西在引用另一样东西时，才能描述这件东西。可参考 names 的文档字符串。") | chinese_format.kif 2164-2168 | |
| (documentation represents EnglishLanguage "A very general semiotics Predicate. (represents ?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The Predicates containsInformation and realization are subrelations of represents. Note that represents is a subrelation of refers, since something can represent something else only if it refers to this other thing. See the documentation string for names.") | Merge.kif 4282-4288 | |
| (instance represents BinaryPredicate) | Merge.kif 4280-4280 | |
| (subrelation represents refers) | Merge.kif 4279-4279 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage represents "%1 %n{doesn't} 表达 %2") | chinese_format.kif 227-227 | |
| (format EnglishLanguage represents "%1 %n{doesn't} express%p{es} %2") | english_format.kif 231-231 | |
| (subrelation abstractCounterpart represents) | Merge.kif 5799-5799 | |
| (subrelation anthem represents) | Music.kif 346-346 | |
| (subrelation cardCode represents) | FinancialOntology.kif 3396-3396 | |
| (subrelation conforms represents) | Mid-level-ontology.kif 25135-25135 | |
| (subrelation containsInformation represents) | Merge.kif 1250-1250 | |
| (subrelation hardwareType represents) | QoSontology.kif 1018-1018 | |
| (subrelation implementsProtocol represents) | ComputingBrands.kif 3970-3970 | |
| (subrelation pin represents) | FinancialOntology.kif 3435-3435 | |
| (subrelation productBrand represents) | Hotel.kif 1252-1252 | |
| (subrelation productModel represents) | QoSontology.kif 14-14 | |
| (subrelation realization represents) | Merge.kif 4409-4409 | |
| (subrelation record represents) | Mid-level-ontology.kif 11970-11970 | |
| (termFormat ChineseLanguage represents "代表") | domainEnglishFormat.kif 49451-49451 | |
| (termFormat ChineseLanguage represents "表示") | chinese_format.kif 228-228 | |
| (termFormat ChineseTraditionalLanguage represents "代表") | domainEnglishFormat.kif 49450-49450 | |
| (termFormat EnglishLanguage represents "represents") | domainEnglishFormat.kif 49449-49449 |
| antecedent |
|
|
| (=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 2860-2868 | |
| (=> (and (instance ?LOGO Logo) (represents ?LOGO ?OBJ)) (or (instance ?OBJ Agent) (instance ?OBJ Product))) |
Media.kif 895-901 | |
| (=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB)) |
MilitaryProcesses.kif 1775-1781 | |
| (=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC)))))) |
Military.kif 32-44 | |
| (=> (and (instance ?QUERY SearchQuery) (instance ?SEARCHATTEMPT SearchAttempt) (represents ?QUERY ?SEARCHATTEMPT)) (exists (?AGENT ?OBJ) (and (instance ?AGENT Agent) (patient ?SEARCHATTEMPT ?OBJ) (agent ?SEARCHATTEMPT ?AGENT)))) |
UXExperimentalTerms.kif 2631-2640 |
| consequent |
|
|
| (=> (albumCoverImage ?A ?I) (represents ?I ?A)) |
Music.kif 309-311 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 660-666 | |
| (=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC)))))) |
Communications.kif 202-214 | |
| (=> (and (instance ?CM AirlineCodeMap) (codeMapping ?CM ?STR ?AIR)) (and (instance ?AIR Airline) (represents ?STR ?AIR))) |
Transportation.kif 3113-3119 | |
| (=> (and (instance ?EXPRESS Expressing) (agent ?EXPRESS ?AGENT)) (exists (?STATE) (and (instance ?STATE StateOfMind) (attribute ?AGENT ?STATE) (represents ?EXPRESS ?STATE)))) |
Merge.kif 12166-12174 | |
| (=> (and (instance ?OBJ DigitalDataStorageDevice) (part ?PART ?OBJ) (instance ?PART DigitalData)) (exists (?SCHEME ?LIST) (and (codeMapping ?SCHEME ?PART ?NUM) (represents ?LIST ?SCHEME) (=> (inList ?NUM ?LIST) (instance ?NUM BinaryNumber))))) |
Media.kif 801-812 | |
| (=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB)) |
MilitaryProcesses.kif 1775-1781 | |
| (=> (and (instance ?PLAN OperationPlan) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PLAN) (instance ?OP MilitaryOperation) (result ?OP ?CBO)) (represents ?PLAN ?OP)) |
MilitaryProcesses.kif 1554-1561 | |
| (=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP)) |
Geography.kif 2884-2891 | |
| (=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL)))))) |
Mid-level-ontology.kif 25207-25233 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 702-708 | |
| (=> (and (userIDString ?STRING ?ACCOUNT) (hasAccount ?USER ?ACCOUNT)) (represents ?STRING ?USER)) |
UXExperimentalTerms.kif 1293-1297 | |
| (=> (attribute ?ROOM ThemeRoom) (exists (?DESIGN ?PROP) (and (instance ?DESIGN Designing) (result ?DESIGN ?PROP) (represents ?ROOM ?PROP)))) |
Hotel.kif 1045-1051 | |
| (=> (attribute ?X AeronauticalEngineer) (exists (?SKILL) (and (hasSkill ?SKILL ?X) (forall (?P) (=> (instance ?P ?SKILL) (or (exists (?CONS ?OBJ ?PT) (and (instance ?CONS Making) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?CONS ?OBJ) (subProcess ?P ?CONS))) (exists (?DESIGN ?PLAN ?OBJ ?PT) (and (instance ?DESIGN Designing) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?DESIGN ?PLAN) (represents ?PLAN ?OBJ) (subProcess ?P ?DESIGN))))))))) |
Biography.kif 203-232 | |
| (=> (brandIcon ?BRAND ?ICON) (exists (?AGENT) (and (managedBy ?BRAND ?AGENT) (managedBy ?ICON ?AGENT) (represents ?ICON ?BRAND)))) |
Hotel.kif 1270-1276 | |
| (=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT) (and (instance ?WEBPAGE WebPage) (component ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT Agent) (agent ?ACCESSING ?AGENT) (instrument ?ACCESSING ?BROWSER) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT)))) |
UXExperimentalTerms.kif 917-928 | |
| (=> (capacityByArrangement ?AREA ?PROP ?INT) (=> (represents ?AREA ?PROP) (modalAttribute (exists (?GRP) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?INT) (located ?GRP ?AREA))) Possibility))) |
Hotel.kif 763-773 | |
| (=> (categoryID ?STRING ?CAT) (represents ?STRING ?USER)) |
UXExperimentalTerms.kif 214-216 | |
| (=> (codeMapping ?MAP ?TOKEN ?X) (represents ?TOKEN ?X)) |
Media.kif 2267-2269 | |
| (=> (contestParticipantRepresentation ?CONT ?AGENT ?OBJ) (holdsDuring (WhenFn ?CONT) (represents ?AGENT ?OBJ))) |
Music.kif 1101-1105 | |
| (=> (evidence ?LA ?P) (exists (?A) (and (instance ?PROP Proposition) (instance ?A Argument) (refers ?A ?LA) (represents ?PROP ?P) (premise ?A ?PROP)))) |
Law.kif 223-231 | |
| (=> (experimentID ?STRING ?EXP) (represents ?STRING ?USER)) |
UXExperimentalTerms.kif 4226-4228 | |
| (=> (hasExpertise ?H Architecture) (exists (?D ?P ?B) (and (instance ?D ContentDevelopment) (agent ?D ?H) (result ?D ?P) (instance ?P Blueprint) (represents ?P ?B) (instance ?B Building)))) |
Mid-level-ontology.kif 18899-18908 | |
| (=> (instance ?ACCOUNT HistoricalAccount) (exists (?EVENT) (and (represents ?ACCOUNT ?EVENT) (earlier (WhenFn ?EVENT) (WhenFn ?ACCOUNT))))) |
Mid-level-ontology.kif 12616-12621 | |
| (=> (instance ?ACTION UserDirectAction) (exists (?SIG_ACTION) (and (represents ?ACTION ?SIG_ACTION) (instance ?SIG_ACTION UserSignifiedAction)))) |
ComputerInput.kif 1238-1243 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| (represents ResistorElement Dissipator) | engineering.kif 848-848 | |
| (represents ResistorElement ElectricalTwopole) | engineering.kif 849-849 |
|
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