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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PuborectalisMuscle

Sigma KEE - patient
patient

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1882-1886
No TPTP formula. May not be expressible in strict first order. Merge.kif 2499-2506
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 507-511
No TPTP formula. May not be expressible in strict first order. Merge.kif 2495-2495 O argumento numero 1 de patient e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order. Merge.kif 2496-2496 O argumento numero 2 de patient e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 2493-2493 patient e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order. Merge.kif 2494-2494 patient e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 2497-2497 patient e' uma sub-relacao de involvedInEvent

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 167-167
No TPTP formula. May not be expressible in strict first order. english_format.kif 168-168
No TPTP formula. May not be expressible in strict first order. french_format.kif 103-103
No TPTP formula. May not be expressible in strict first order. relations-it.txt 219-219
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1932-1932
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 55-55
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 85-85
No TPTP formula. May not be expressible in strict first order. relations-de.txt 206-206
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 257-257
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 122-122
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 411-411
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4163-4163 accountUsed e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23426-23426 controlled e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1874-1874 dataProcessed e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16264-16264 defendant e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Law.kif 281-281 defenseLawyer e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6785-6785 detainee e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Law.kif 168-168 evidence e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15723-15723 experimentalControl e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2468-2468 instrument e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12399-12399 objectAttached e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 12447-12447 objectDetached e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 11353-11353 objectTransferred e' uma sub-relacao de patient

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26317-26328 Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Proposicao ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao Proposicao e' igual a Proposicao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20759-20766
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 487-499
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5824-5834
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-172
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 549-556
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 540-547
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 531-537
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. Merge.kif 15537-15554
No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Law.kif 480-489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21494-21505
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1010-1014
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6257-6275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4242-4248
No TPTP formula. May not be expressible in strict first order. Medicine.kif 966-975

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1601-1607 LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20751-20757
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 193-199
No TPTP formula. May not be expressible in strict first order. Government.kif 706-713
No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Biography.kif 757-776
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Music.kif 408-419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12536-12546
No TPTP formula. May not be expressible in strict first order. Merge.kif 17354-17367
No TPTP formula. May not be expressible in strict first order. Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-1990
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1466-1474
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1478-1491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25736-25749
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20600-20622
No TPTP formula. May not be expressible in strict first order. Merge.kif 13863-13876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29951-29960

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18201-18218 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4559-4564 Processo Entidade Processo e' uma instancia de Disseminar Processo e' um agente de Netflix Entidade e' um patient de Processo Entidade e' uma instancia de Filme


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