TreeView Knowledge Base Browser - OrganismRemains

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

OrganismRemains

Sigma KEE - OrganismRemains

OrganismRemains

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29-39
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28-28	OrganismRemains 是有机物体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 116-116	DeadFn 的所得值是 OrganismRemains 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 101-101	人类的尸体是 OrganismRemains 的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65275-65275

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	如果过程是死亡的 instance 和实体是 OrganismRemains 的 instance 和施事体是生物的 instance 和另一个实体是那个实体的 part 在时距 holdsDuring 和那个另外实体是那个施事体的 part 在另一个时距 holdsDuring 和那个另外时距比那个时距发生的earlier 和那个施事体经历了那个过程，然后那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	如果过程是死亡的 instance 和实体是 OrganismRemains 的 instance 和施事体是生物的 instance 和另一个实体是那个实体的 part 在时距 holdsDuring 和那个另外实体是那个施事体的 part 在另一个时距 holdsDuring 和那个另外时距比那个时距发生的earlier 和那个实体是那个过程的 result，然后那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 45-56	如果物理是 OrganismRemains 的 instance 和实体是那个物理的 part 在那个物理出现的 time holdsDuring，然后有存在另一个物理这样那个另外物理是生物的 instance 和那个另外物理出现的 time 比那个物理出现的 time发生的earlier 和那个物理出现的 time finishes了才到那个另外物理出现的 time 和那个实体是那个另外物理的 part 在那个另外物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	如果实体是 OrganismRemains 的 instance 和过程是死亡的 instance 和施事体经历了那个过程和那个施事体是那个施事体TYPE 的 instance 和那个施事体TYPE 是有机物体的 subclass 和那个实体是那个过程的 result，然后那个实体是一个 dead 那个施事体TYPE 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 67-72	如果实体是 OrganismRemains 的 instance，然后有存在过程这样那个过程是死亡的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 41-43	如果物理是 OrganismRemains 的 instance，然后死是那个物理的 attribute 在那个物理出现的 time holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 58-65

如果实体是有机物体的 instance 和过程是死亡的 instance 和施事体是生物的 instance 和那个施事体经历了那个过程和那个实体是那个过程的 result，
然后那个实体是 OrganismRemains 的 instance

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