TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3670-3671
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16257-16258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16256-16256	一群人是群组的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 903-903	联合参谋长是一群人的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 883-883	联合工作人员是一群人的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 1993-1993	NativityMagi 是一群人的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 1950-1950	TwelveApostles 是一群人的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	公民的 range 是一群人的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8028-8028	居民的 range 是一群人的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16266-16266	同龄群组是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16614-16614	信仰团体是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16095-16095	犯罪团伙是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15962-15962	戏剧性的演员是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16609-16609	民族群组是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16281-16281	家族群组是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16083-16083	陪审团是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18526-18526	音乐团体是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30615-30615	NationalPerson 是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26064-26064	上市是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16294-16294	社会单位是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7523-7523	运动队是一群人的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26814-26814
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26813-26813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26812-26812

appearance as argument number 3

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

Mid-level-ontology.kif 7556-7556

小组成员的 2 数量是一群人的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	如果 CommunalAttribute 是客体的 attribute 和那个客体是表的 instance 和过程是进食的 instance 和施事体是那个过程的 agent 和那个施事体是一群人的 instance 和那个过程是 located 在那个客体，然后有存在实体，另一个实体， and 和那个客体2 这样那个另外实体是进食的 instance 和那个实体是那个另外实体的 agent 和那个施事体不 equal 那个实体和那个实体是一群人的 instance 和那个另外实体是 located 在那个客体2 和那个过程出现的 time 接着那个另外实体出现的 time 和那个客体 equal 那个客体2 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7561-7568	如果实体是另一个实体的 member 在时间位置 holdsDuring 和那个实体是人类的 instance 和那个另外实体是一群人的 instance，然后那个实体是那个另外实体的 member 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23493-23503	如果被捕是被捕的 instance 和施事体是在那个被捕的情况下被拘留和那个施事体是一群人的 instance 和另一个施事体是那个施事体的 member，然后有存在那个被捕1 这样那个被捕1 是被捕的 instance 和那个另外施事体是在那个被捕1 的情况下被拘留和那个被捕1%n是那个被捕的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16260-16264	如果群体是一群人的 instance 和物理是那个群体的 member，然后那个物理是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	如果群体是一群人的 instance 和有认知的主事是那个群体的 member 和物理是那个群体的 member 和那个物理是人类宝贝的 instance 和那个有认知的主事是人类成人的 instance 和实体是 Crib 的 instance，然后那个有认知的主事对那个实体感兴趣
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	如果施事体是餐厅的 instance 和客体是饭厅的 instance 和 PrivateAttribute 是那个客体的 attribute 和那个施事体 possesses 那个客体和那个施事体是有认知的主事的 customer 和过程是进食的 instance 和那个有认知的主事是那个过程的 agent 和那个有认知的主事是一群人的 instance，然后不存在实体和另一个实体这样那个施事体是那个实体的 customer 和那个有认知的主事不 equal 那个实体和那个另外实体是进食的 instance 和那个实体是那个另外实体的 agent 和那个另外实体是 located 在那个客体在那个过程出现的 time holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	如果过程是 Spamming 的 instance 和群体是一群人的 instance 和整数是那个群体的 member 计数和那个过程在那个群体结束，然后那个整数是 greaterThan 100 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21951-21957	如果过程是绑架的 instance 和群体是一群人的 instance 和整数是那个群体的 member 计数和那个群体是那个过程的 patient，然后那个整数是 lessThan 3

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	如果 DemoRecording 是客体的 attribute 和那个客体是 Recording 的 instance，然后那个客体的目的是有存在实体，另一个实体， and 和那个客体USIC 这样那个实体是示范的 instance 和那个客体是个那个客体USIC 的 record 和那个客体USIC 是那个实体的 patient 和那个实体在那个另外实体结束和那个另外实体是一群人的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	如果 CommunalAttribute 是客体的 attribute 和那个客体是表的 instance 和过程是进食的 instance 和施事体是那个过程的 agent 和那个施事体是一群人的 instance 和那个过程是 located 在那个客体，然后有存在实体，另一个实体， and 和那个客体2 这样那个另外实体是进食的 instance 和那个实体是那个另外实体的 agent 和那个施事体不 equal 那个实体和那个实体是一群人的 instance 和那个另外实体是 located 在那个客体2 和那个过程出现的 time 接着那个另外实体出现的 time 和那个客体 equal 那个客体2 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	如果过程是示范的 instance 和施事体是那个过程的 agent，然后那个施事体是人类的 instance 或那个施事体是一群人的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26445-26463	如果客体是 FireAlarm 的 instance 和设备上是那个客体的 attribute 和那个客体是 located 在另一个客体，然后有存在过程这样那个过程是放射声音的 instance 和那个客体是导致那个过程的 instrument 和那个过程的目的是有存在实体这样那个实体是一群人的 instance 和那个实体是 located 在那个另外客体和那个实体 knows 有存在另一个实体这样那个另外实体是火的 instance 和那个另外实体是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	如果有点固定人工制品能 accommodate 大部分整数的人和实体是有点固定人工制品的 instance 和那个实体是施事体的财产的 element，然后有存在另一个实体和第三实体这样那个另外实体是一群人的 instance 和那个第三实体是那个另外实体的 member 计数和那个第三实体是 lessThanOrEqualTo 那个整数和那个另外实体 stays 在那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	如果 HotelReservation 也许 have 整数成人和施事体 fulfills 那个 HotelReservation ，然后有存在群体这样那个群体是一群人的 instance 和人类成人是那个群体的 member 类别和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	如果 HotelReservation 也许 have 整数孩童和施事体 fulfills 那个 HotelReservation ，然后有存在群体和另一个群体这样那个群体是一群人的 instance 和那个另外群体是那个群体的真正的子集和那个另外群体是一群人的 instance 和人类的孩子是那个另外群体的 member 类别和那个整数是那个另外群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	如果 HotelReservation 也许 have 整数居住者和施事体 fulfills 那个 HotelReservation ，然后有存在群体这样那个群体是一群人的 instance 和人类是那个群体的 member 类别和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	如果 Reservation 是对于正整数 customers 和施事体 fulfills 那个 Reservation 和另一个施事体 reserves 那个 Reservation ，然后有存在群体这样那个群体是个 potential customer 对于那个施事体和那个群体是一群人的 instance 和那个另外施事体是那个群体的 member 和那个正整数是那个群体的 member 计数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	如果 HotelReservation 是对于整数 seniors 和施事体 fulfills 那个 HotelReservation ，然后有存在群体和实数这样那个群体是一群人的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是人类成人的 instance 和那个物理的 age 是那个实数年持续时间和那个实数是 greaterThanOrEqualTo 60 和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23487-23491	如果施事体是在被捕的情况下被拘留，然后那个施事体是人类的 instance 或那个施事体是一群人的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	如果地区有对于整数的 capacity 根据命题，然后如果那个地区表达那个命题，然后有存在实体和另一个实体这样那个实体是一群人的 instance 和那个另外实体是那个实体的 member 计数和那个另外实体是 lessThanOrEqualTo 那个整数和那个实体是 located 在那个地区的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16815-16826	如果 classmate 人类, 另一个人类 and 教育课程，然后有存在群体，过程， and 和时间位置这样那个群体是一群人的 instance 和那个过程是教育性过程的 instance 和那个过程表示那个教育课程的内容和那个群体是那个过程的 patient 和那个时间位置时段是那个过程出现的 time 时段的一 part 和那个人类在那个时间位置时是那个群体的 member 和那个人类在那个时间位置时是那个群体的 member
No TPTP formula. May not be expressible in strict first order.	Sports.kif 163-175	如果实体是英式足球比赛的 instance，然后有存在群体，另一个群体,，，施事体， and 和另一个施事体这样那个群体是一群人的 instance 和 11 是那个群体的 member 计数和那个另外群体是一群人的 instance 和 11 是那个另外群体的 member 计数和那个群体不 equal 那个另外群体和那个施事体是那个群体的 member 和那个施事体是那个另外群体的 member 和 enemy 那个施事体 and 那个另外施事体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2055-2064	如果实体是 ShuttleService 的 instance，然后有存在另一个实体和第三实体这样那个另外实体是一群人的 instance 和那个第三实体是一群人的 instance 和那个另外实体是那个实体的 patient 和那个第三实体是那个实体的 patient 和那个另外实体不 equal 那个第三实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26092-26110	如果物理是 PublicAddressSystem 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是土地面积的 instance 和那个物理是 located 在那个另外实体和那个第三实体是一群人的 instance 和那个第三实体是 located 在那个另外实体和那个实体是放射声音的 instance 和那个物理是导致那个实体的 instrument 和对所有第四实体如果那个第四实体是那个第三实体的 member，然后有存在第五实体这样那个第五实体是听的 instance 和那个实体是那个第五实体的 patient 和那个第四实体是那个第五实体的 agent
No TPTP formula. May not be expressible in strict first order.	Sports.kif 857-873	如果比赛是 Tennis 的 instance，然后有存在施事体和另一个施事体这样那个施事体 participates 在那个比赛和那个另外施事体 participates 在那个比赛和那个施事体不 equal 那个另外施事体和那个施事体是人类的 instance 或那个施事体是一群人的 instance 和 2 是那个施事体的 member 计数和那个另外施事体是人类的 instance 或那个另外施事体是一群人的 instance 和 2 是那个另外施事体的 member 计数

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

KB Term:			Term intersection

English Word: